diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-02-08 16:18:51 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-02-08 16:18:51 +0000 |
| commit | 57f0989c16ed6fbe003be6f2ad5f3f2e9b7aed0d (patch) | |
| tree | 16f05d479b909de2f94fb22f4496b6a5b89b0225 /clang/lib/Checker/UndefBranchChecker.cpp | |
| parent | d746f0dbd67813e581f5f90b5a90b87dc31e1e9b (diff) | |
| download | bcm5719-llvm-57f0989c16ed6fbe003be6f2ad5f3f2e9b7aed0d.tar.gz bcm5719-llvm-57f0989c16ed6fbe003be6f2ad5f3f2e9b7aed0d.zip | |
Revert 95541.
llvm-svn: 95545
Diffstat (limited to 'clang/lib/Checker/UndefBranchChecker.cpp')
| -rw-r--r-- | clang/lib/Checker/UndefBranchChecker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Checker/UndefBranchChecker.cpp b/clang/lib/Checker/UndefBranchChecker.cpp index 793f5e06fde..e047b187b10 100644 --- a/clang/lib/Checker/UndefBranchChecker.cpp +++ b/clang/lib/Checker/UndefBranchChecker.cpp @@ -41,7 +41,7 @@ class UndefBranchChecker : public Checker { 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 @@ void UndefBranchChecker::VisitBranchCondition(GRBranchNodeBuilder &Builder, 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) { |
