diff options
author | Ted Kremenek <kremenek@apple.com> | 2012-07-25 22:09:19 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2012-07-25 22:09:19 +0000 |
commit | a2ad394dad8c90fb0374756a331d4a141f4a227d (patch) | |
tree | feaf5ae828c5d5d5d6f7c1f93b82bd4ab90fed32 /lib/StaticAnalyzer/Core/Environment.cpp | |
parent | 2a700b1ca10e3bdde810f2ccef10dc7033a37a75 (diff) |
Remove the ability to stash arbitrary pointers into UndefinedVal (no longer needed).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@160764 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/Environment.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/Environment.cpp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/lib/StaticAnalyzer/Core/Environment.cpp b/lib/StaticAnalyzer/Core/Environment.cpp index 540eb88747..29030914e7 100644 --- a/lib/StaticAnalyzer/Core/Environment.cpp +++ b/lib/StaticAnalyzer/Core/Environment.cpp @@ -230,13 +230,6 @@ EnvironmentManager::removeDeadBindings(Environment Env, RSScaner.scan(X); continue; } - - // Otherwise the expression is dead with a couple exceptions. - // Do not misclean LogicalExpr or ConditionalOperator. It is dead at the - // beginning of itself, but we need its UndefinedVal to determine its - // SVal. - if (X.isUndef() && cast<UndefinedVal>(X).getData()) - EBMapRef = EBMapRef.add(BlkExpr, X); } // Go through he deferred locations and add them to the new environment if |