forked from OSchip/llvm-project
parent
7318409802
commit
40bb1249eb
|
@ -1305,7 +1305,7 @@ ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state,
|
||||||
// If the symbol is assumed to be NULL, remove it from consideration.
|
// If the symbol is assumed to be NULL, remove it from consideration.
|
||||||
ConstraintManager &CMgr = state->getConstraintManager();
|
ConstraintManager &CMgr = state->getConstraintManager();
|
||||||
ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
|
ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
|
||||||
if (AllocFailed.isConstrainedTrue())
|
if (!AllocFailed.isConstrainedTrue())
|
||||||
continue;
|
continue;
|
||||||
|
|
||||||
SymbolRef ReallocSym = I.getData().ReallocatedSym;
|
SymbolRef ReallocSym = I.getData().ReallocatedSym;
|
||||||
|
|
Loading…
Reference in New Issue