Home
last modified time | relevance | path

Searched refs:isConstrainedFalse (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h59 bool isConstrainedFalse() const { return Val && !Val.value(); } in isConstrainedFalse() function
H A DSMTConstraintManager.h99 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
103 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DReturnValueChecker.cpp82 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); in isInvariantBreak()
H A DMIGChecker.cpp232 if (!State->isNull(V).isConstrainedFalse()) in mayBeSuccess()
H A DFuchsiaHandleChecker.cpp559 } else if (ErrorVal.isConstrainedFalse()) { in evalAssume()
H A DPthreadLockChecker.cpp299 if (retZero.isConstrainedFalse()) { in resolvePossiblyDestroyedMutex()
H A DNullabilityChecker.cpp269 if (Nullness.isConstrainedFalse()) in getNullConstraint()