diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-11-01 00:25:15 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-11-01 00:25:15 +0000 |
| commit | 40bb1249eb26f1421305bb45484072a654ef52e6 (patch) | |
| tree | e41d0e6a7ada9113d66ca2bd16d0dfa56b29b39d /clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp | |
| parent | 7318409802350f76795f0e0726868e6d47d233ed (diff) | |
| download | bcm5719-llvm-40bb1249eb26f1421305bb45484072a654ef52e6.tar.gz bcm5719-llvm-40bb1249eb26f1421305bb45484072a654ef52e6.zip | |
[analyzer] Fix typo in r167186.
llvm-svn: 167189
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp index 1a6e250321c..378cd10234c 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; |
