HomePhabricator

Revert "[analyzer] Remove the "postponed" hack, deal with derived symbols..."

Description

Revert "[analyzer] Remove the "postponed" hack, deal with derived symbols..."

This reverts commit r341722.

The "postponed" mechanism turns out to be necessary in order to handle
situations when a symbolic region is only kept alive by implicit bindings
in the Store. Otherwise the region is never scanned by the Store's worklist
and the binding gets dropped despite being live, as demonstrated
by the newly added tests.

Differential Revision: https://reviews.llvm.org/D57554

Details

Committed
NoQFeb 6 2019, 3:56 PM
Differential Revision
D57554: [analyzer] Revert D51397 "Remove the "postponed" hack...".
Branches
Unknown
Tags
Unknown