aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/Environment.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2012-07-25 22:09:19 +0000
committerTed Kremenek <kremenek@apple.com>2012-07-25 22:09:19 +0000
commita2ad394dad8c90fb0374756a331d4a141f4a227d (patch)
treefeaf5ae828c5d5d5d6f7c1f93b82bd4ab90fed32 /lib/StaticAnalyzer/Core/Environment.cpp
parent2a700b1ca10e3bdde810f2ccef10dc7033a37a75 (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.cpp7
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