diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-09-25 19:03:01 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-09-25 19:03:01 +0000 |
| commit | 60d704ab4a019dda8630f85a12f52ac826732e77 (patch) | |
| tree | fb6e06b8c55e2ecf2f0a1bcb2763e6617d788128 /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 24ff3bc3922dd1e6236dd50ba745c9647f4b9e3e (diff) | |
| download | bcm5719-llvm-60d704ab4a019dda8630f85a12f52ac826732e77.tar.gz bcm5719-llvm-60d704ab4a019dda8630f85a12f52ac826732e77.zip | |
[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
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
0 files changed, 0 insertions, 0 deletions
