]> granicus.if.org Git - clang/commit
Remove extents of dead symbolic regions when RemoveDeadBindings.
authorZhongxing Xu <xuzhongxing@gmail.com>
Wed, 26 May 2010 03:27:35 +0000 (03:27 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Wed, 26 May 2010 03:27:35 +0000 (03:27 +0000)
commit95798981b4859f61c1a3d4df26cb033b3e91518a
tree91d22b8a58c50e77cda61172999e51a5750906b2
parentd8e8a58ee35ab334ab9d0c2154dca029c1822e8a
Remove extents of dead symbolic regions when RemoveDeadBindings.
This requires creating new persistent states due to the nature of GDM.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@104668 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Checker/PathSensitive/Store.h
lib/Checker/BasicStore.cpp
lib/Checker/FlatStore.cpp
lib/Checker/GRState.cpp
lib/Checker/RegionStore.cpp