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 | 8e289bb59c5c1c29900604b86238c3088f506782 (patch) | |
| tree | 47922101f032a29e6c450f60ebabc5cb509157d0 /lib/StaticAnalyzer/Checkers/MallocChecker.cpp | |
| parent | 7c3c6bca2662704fbe038137d8ef2e4112359586 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164275 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/MallocChecker.cpp')
0 files changed, 0 insertions, 0 deletions