Home
last modified time | relevance | path

Searched refs:ConditionTruthVal (Results 1 – 16 of 16) sorted by relevance

/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDConstraintManager.h38 class ConditionTruthVal {
44 ConditionTruthVal(bool constraint) : Val(constraint) {} in ConditionTruthVal() function
47 ConditionTruthVal() = default;
143 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) { in isNull()
180 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
HDSMTConstraintManager.h86 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
99 ConditionTruthVal isSat = checkModel(State, Sym, Exp); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
100 ConditionTruthVal isNotSat = checkModel(State, Sym, NotExp); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
111 return ConditionTruthVal(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
331 ConditionTruthVal checkModel(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
349 Cached[hash] = ConditionTruthVal(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
351 Cached[hash] = ConditionTruthVal(*res); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
358 mutable llvm::DenseMap<unsigned, ConditionTruthVal> Cached; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
HDSValBuilder.h49 class ConditionTruthVal; variable
141 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
HDProgramState.h261 ConditionTruthVal isNonNull(SVal V) const;
265 ConditionTruthVal isNull(SVal V) const;
268 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDConstraintManager.cpp33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
40 return ConditionTruthVal(false); in checkNull()
42 return ConditionTruthVal(true); in checkNull()
HDProgramState.cpp383 ConditionTruthVal ProgramState::isNonNull(SVal V) const { in isNonNull()
384 ConditionTruthVal IsNull = isNull(V); in isNonNull()
387 return ConditionTruthVal(!IsNull.getValue()); in isNonNull()
390 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual()
394 ConditionTruthVal ProgramState::isNull(SVal V) const { in isNull()
403 return ConditionTruthVal(); in isNull()
HDRangeConstraintManager.cpp1874 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
2843 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()
2849 return ConditionTruthVal(); in checkNull()
2864 return ConditionTruthVal(); in checkNull()
HDSValBuilder.cpp543 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs, in areEqual()
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDSimpleStreamChecker.cpp138 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
HDTrustNonnullChecker.cpp187 ConditionTruthVal TV = C.getState()->isNonNull(Receiver); in isNonNullPtr()
HDFuchsiaHandleChecker.cpp546 ConditionTruthVal HandleVal = Cmr.isNull(State, CurItem.first); in evalAssume()
554 ConditionTruthVal ErrorVal = Cmr.isNull(State, ErrorSym); in evalAssume()
HDNullabilityChecker.cpp305 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint()
955 ConditionTruthVal IsNonNull = State->isNonNull(PropVal.Value); in evalAssume()
HDMacOSKeychainAPIChecker.cpp549 ConditionTruthVal AllocFailed = CMgr.isNull(State, Sym); in checkDeadSymbols()
HDPthreadLockChecker.cpp328 ConditionTruthVal retZero = CMgr.isNull(state, *sym); in resolvePossiblyDestroyedMutex()
HDMallocChecker.cpp1873 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()
3133 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume()
3144 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume()
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
HDRetainCountChecker.cpp1170 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.first); in evalAssume()