diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-09-20 01:54:56 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-09-20 01:54:56 +0000 |
| commit | ae134c64494af5bce1414e754fad0d8b5f99ee33 (patch) | |
| tree | 535c7cfc45b95d5fa56dc34e8b368785eab378ee /clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp | |
| parent | 8f5e9830297c8148827dc46d759d59b9093407dd (diff) | |
| download | bcm5719-llvm-ae134c64494af5bce1414e754fad0d8b5f99ee33.tar.gz bcm5719-llvm-ae134c64494af5bce1414e754fad0d8b5f99ee33.zip | |
Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBindings."
While we definitely want this optimization in the future, we're not
currently handling constraints on symbolic /expressions/ correctly.
These should stay live even if the SymExpr itself is no longer referenced
because could recreate an identical SymExpr later. Only once the SymExpr
can no longer be recreated -- i.e. a component symbol is dead -- can we
safely remove the constraints on it.
This liveness issue is tracked by <rdar://problem/12333297>.
This reverts r163444 / 24c7f98828e039005cff3bd847e7ab404a6a09f8.
llvm-svn: 164275
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp')
0 files changed, 0 insertions, 0 deletions
