Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h87 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
100 ConditionTruthVal isSat = checkModel(State, Sym, Exp); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
101 ConditionTruthVal isNotSat = checkModel(State, Sym, NotExp); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
112 return ConditionTruthVal(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
339 ConditionTruthVal checkModel(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
356 return Cached[hash] = res ? ConditionTruthVal(*res) : ConditionTruthVal(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
361 mutable llvm::DenseMap<unsigned, ConditionTruthVal> Cached; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSValBuilder.h51 class ConditionTruthVal; variable
142 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
H A DProgramState.h260 ConditionTruthVal isNonNull(SVal V) const;
264 ConditionTruthVal isNull(SVal V) const;
267 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp369 ConditionTruthVal ProgramState::isNonNull(SVal V) const { in isNonNull()
370 ConditionTruthVal IsNull = isNull(V); in isNonNull()
373 return ConditionTruthVal(!IsNull.getValue()); in isNonNull()
376 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual()
380 ConditionTruthVal ProgramState::isNull(SVal V) const { in isNull()
389 return ConditionTruthVal(); in isNull()
H A DRangeConstraintManager.cpp1892 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
2858 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()
2864 return ConditionTruthVal(); in checkNull()
2879 return ConditionTruthVal(); in checkNull()
H A DSValBuilder.cpp544 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs, in areEqual()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSimpleStreamChecker.cpp138 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
H A DTrustNonnullChecker.cpp187 ConditionTruthVal TV = C.getState()->isNonNull(Receiver); in isNonNullPtr()
H A DBlockInCriticalSectionChecker.cpp403 ConditionTruthVal CTV = in reportBlockInCritSection()
H A DNullabilityChecker.cpp302 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint()
955 ConditionTruthVal IsNonNull = State->isNonNull(PropVal.Value); in evalAssume()
H A DMacOSKeychainAPIChecker.cpp548 ConditionTruthVal AllocFailed = CMgr.isNull(State, Sym); in checkDeadSymbols()
H A DPthreadLockChecker.cpp328 ConditionTruthVal retZero = CMgr.isNull(state, *sym); in resolvePossiblyDestroyedMutex()
H A DMallocChecker.cpp2073 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()
3326 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume()
3337 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp1163 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.first); in evalAssume()