From 40bb1249eb26f1421305bb45484072a654ef52e6 Mon Sep 17 00:00:00 2001 From: Jordan Rose Date: Thu, 1 Nov 2012 00:25:15 +0000 Subject: [PATCH] [analyzer] Fix typo in r167186. llvm-svn: 167189 --- clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp index 1a6e250..378cd10 100644 --- a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp @@ -1305,7 +1305,7 @@ ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, // If the symbol is assumed to be NULL, remove it from consideration. ConstraintManager &CMgr = state->getConstraintManager(); ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); - if (AllocFailed.isConstrainedTrue()) + if (!AllocFailed.isConstrainedTrue()) continue; SymbolRef ReallocSym = I.getData().ReallocatedSym; -- 2.7.4