Searched refs:isConstrainedFalse (Results 1 – 6 of 6) sorted by relevance
59 bool isConstrainedFalse() const { return Val && !*Val; } in isConstrainedFalse() function
103 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()107 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
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()
329 if (retZero.isConstrainedFalse()) { in resolvePossiblyDestroyedMutex()