HomeSort by: relevance | last modified time | path
    Searched refs:isConstrainedFalse (Results 1 - 7 of 7) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
ReturnValueChecker.cpp 81 return C.getState()->isNull(*ReturnDV).isConstrainedFalse();
MIGChecker.cpp 231 if (!State->isNull(V).isConstrainedFalse())
FuchsiaHandleChecker.cpp 563 } else if (ErrorVal.isConstrainedFalse()) {
NullabilityChecker.cpp 269 if (Nullness.isConstrainedFalse())
PthreadLockChecker.cpp 298 if (retZero.isConstrainedFalse()) {
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 61 bool isConstrainedFalse() const {
SMTConstraintManager.h 99 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse())
103 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue())

Completed in 25 milliseconds