Searched refs:isConstrainedFalse (Results 1 – 7 of 7) sorted by relevance
82 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); in isInvariantBreak()
233 if (!State->isNull(V).isConstrainedFalse()) in mayBeSuccess()
306 if (Nullness.isConstrainedFalse()) in getNullConstraint()960 } else if (IsNonNull.isConstrainedFalse()) { in evalAssume()
560 } else if (ErrorVal.isConstrainedFalse()) { in evalAssume()
300 if (retZero.isConstrainedFalse()) { in resolvePossiblyDestroyedMutex()
59 bool isConstrainedFalse() const { return Val && !*Val; } in isConstrainedFalse() function
100 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()104 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()