]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9874f59) | patch
[analyzer] Symbolic regions are live if any subregions are live.
authorJordan Rose <jordan_rose@apple.com>
Sat, 8 Sep 2012 01:24:49 +0000 (01:24 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 8 Sep 2012 01:24:49 +0000 (01:24 +0000)
commitf6d05bbedd482e634507a099e3416fa05cbc0e78
treeccd84b8d17d1f131e1413878b5278daba865e410tree | snapshot
parent9874f597ef5d5748695c88daaa9a3208f95c2032commit | 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
lib/StaticAnalyzer/Core/RegionStore.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.