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 | 6e3bf21f20d4d744fdf5acd719e9f442f4a144fc (patch) | |
| tree | 65eba656004eb866ae99bacf7fb069318f2af9c2 /lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 156f0f0c0d733f668a43526d62b8149c068cb3a0 (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
Diffstat (limited to 'lib/StaticAnalyzer/Core/ProgramState.cpp')
0 files changed, 0 insertions, 0 deletions