зеркало из https://github.com/microsoft/clang-1.git
[analyzer] Fix typo in r167186.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167189 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
bef17f985c
Коммит
79a29eb35a
|
@ -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;
|
||||
|
|
Загрузка…
Ссылка в новой задаче