commit 1397663af9dbcc24dbf0e11de43931b3dc08fdbb
author Ted Kremenek <kremenek@apple.com> Mon Feb 08 16:18:51 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Mon Feb 08 16:18:51 2010 +0000
tree 2faba52258a1c9030b653b71072220843482c724
parent d819f74fb5c2213782a443b432fccec95048ec74

Revert 95541.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95545 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/UndefBranchChecker.cpp

diff --git a/lib/Checker/UndefBranchChecker.cpp b/lib/Checker/UndefBranchChecker.cpp
index 793f5e0..e047b18 100644
--- a/lib/Checker/UndefBranchChecker.cpp
+++ b/lib/Checker/UndefBranchChecker.cpp
@@ -41,7 +41,7 @@
       return Ex;
     }
 
-    bool MatchesCriteria(Expr* Ex) { return St->getExprVal(Ex).isUndef(); }
+    bool MatchesCriteria(Expr* Ex) { return St->getSVal(Ex).isUndef(); }
   };
 
 public:
@@ -66,7 +66,7 @@
                                               GRExprEngine &Eng,
                                               Stmt *Condition, void *tag) {
   const GRState *state = Builder.getState();
-  SVal X = state->getExprVal(Condition);
+  SVal X = state->getSVal(Condition);
   if (X.isUndef()) {
     ExplodedNode *N = Builder.generateNode(state, true);
     if (N) {