]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 156f0f0) | patch
[analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.
authorJordan Rose <jordan_rose@apple.com>
Tue, 25 Sep 2012 19:03:01 +0000 (19:03 +0000)
committerJordan Rose <jordan_rose@apple.com>
Tue, 25 Sep 2012 19:03:01 +0000 (19:03 +0000)
commit6e3bf21f20d4d744fdf5acd719e9f442f4a144fc
tree65eba656004eb866ae99bacf7fb069318f2af9c2tree | snapshot
parent156f0f0c0d733f668a43526d62b8149c068cb3a0commit | diff
[analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.

No tests, but this allows the optimization of removing dead constraints.
We can then add tests that we don't do this prematurely.

<rdar://problem/12333297>

Note: the added FIXME to investigate SymbolRegionValue liveness is
tracked by <rdar://problem/12368183>. This patch does not change the
existing behavior.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164621 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/SymbolManager.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.