Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h93 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in checkNull()
97 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in checkNull()
H A DConstraintManager.h62 bool isConstrainedFalse() const { in isConstrainedFalse() function
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp170 if (retZero.isConstrainedFalse()) { in resolvePossiblyDestroyedMutex()
H A DNullabilityChecker.cpp266 if (Nullness.isConstrainedFalse()) in getNullConstraint()