Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h61 bool isConstrainedFalse() const { 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()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DReturnValueChecker.cpp81 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); in isInvariantBreak()
H A DMIGChecker.cpp231 if (!State->isNull(V).isConstrainedFalse()) in mayBeSuccess()
H A DFuchsiaHandleChecker.cpp563 } else if (ErrorVal.isConstrainedFalse()) { in evalAssume()
H A DPthreadLockChecker.cpp298 if (retZero.isConstrainedFalse()) { in resolvePossiblyDestroyedMutex()
H A DNullabilityChecker.cpp269 if (Nullness.isConstrainedFalse()) in getNullConstraint()