diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-09-08 01:24:49 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-09-08 01:24:49 +0000 |
| commit | f6d05bbedd482e634507a099e3416fa05cbc0e78 (patch) | |
| tree | ccd84b8d17d1f131e1413878b5278daba865e410 /lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 9874f597ef5d5748695c88daaa9a3208f95c2032 (diff) | |
[analyzer] Symbolic regions are live if any subregions are live.
RegionStoreManager was only treating a SymbolicRegion's symbel as live
if there was a binding referring to the region itself.
No test case because constraints are currently not being cleaned out
of the constraint manager at all (even if the symbol is legitimately dead).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163443 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ProgramState.cpp')
0 files changed, 0 insertions, 0 deletions