| commit | f6d05bbedd482e634507a099e3416fa05cbc0e78 | [log] [tgz] |
|---|---|---|
| author | Jordan Rose <jordan_rose@apple.com> | Sat Sep 08 01:24:49 2012 +0000 |
| committer | Jordan Rose <jordan_rose@apple.com> | Sat Sep 08 01:24:49 2012 +0000 |
| tree | ccd84b8d17d1f131e1413878b5278daba865e410 | |
| 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