projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24ff3bc) | 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)
commit60d704ab4a019dda8630f85a12f52ac826732e77
treefb6e06b8c55e2ecf2f0a1bcb2763e6617d788128tree | snapshot
parent24ff3bc3922dd1e6236dd50ba745c9647f4b9e3ecommit | 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.

llvm-svn: 164621
clang/lib/StaticAnalyzer/Core/SymbolManager.cpp diff | blob | history
Domain: System / Toolchain;