[analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)
(Unfortunately, I do not have a good reduced test case for this.) llvm-svn: 164541
This commit is contained in:
parent
6fb4bd77e2
commit
3533a54a97
|
@ -115,7 +115,9 @@ ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state,
|
|||
NonLoc cond,
|
||||
bool assumption) {
|
||||
state = assumeAux(state, cond, assumption);
|
||||
return SU.processAssume(state, cond, assumption);
|
||||
if (NotifyAssumeClients)
|
||||
return SU.processAssume(state, cond, assumption);
|
||||
return state;
|
||||
}
|
||||
|
||||
static BinaryOperator::Opcode NegateComparison(BinaryOperator::Opcode op) {
|
||||
|
|
Loading…
Reference in New Issue