Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h39 class ConditionTruthVal {
45 ConditionTruthVal(bool constraint) : Val(constraint) {} in ConditionTruthVal() function
48 ConditionTruthVal() = default;
172 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) { in isNull()
196 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
H A DSMTConstraintManager.h76 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in checkNull()
89 ConditionTruthVal isSat = checkModel(State, Sym, Exp); in checkNull()
90 ConditionTruthVal isNotSat = checkModel(State, Sym, NotExp); in checkNull()
101 return ConditionTruthVal(); in checkNull()
303 ConditionTruthVal checkModel(ProgramStateRef State, SymbolRef Sym, in checkModel()
321 Cached[hash] = ConditionTruthVal(); in checkModel()
323 Cached[hash] = ConditionTruthVal(res.getValue()); in checkModel()
330 mutable llvm::DenseMap<unsigned, ConditionTruthVal> Cached;
H A DSValBuilder.h49 class ConditionTruthVal; variable
149 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
H A DProgramState.h222 ConditionTruthVal isNonNull(SVal V) const;
226 ConditionTruthVal isNull(SVal V) const;
229 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
40 return ConditionTruthVal(false); in checkNull()
42 return ConditionTruthVal(true); in checkNull()
H A DProgramState.cpp362 ConditionTruthVal ProgramState::isNonNull(SVal V) const { in isNonNull()
363 ConditionTruthVal IsNull = isNull(V); in isNonNull()
366 return ConditionTruthVal(!IsNull.getValue()); in isNonNull()
369 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual()
373 ConditionTruthVal ProgramState::isNull(SVal V) const { in isNull()
382 return ConditionTruthVal(); in isNull()
H A DRangeConstraintManager.cpp236 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
361 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()
367 return ConditionTruthVal(); in checkNull()
382 return ConditionTruthVal(); in checkNull()
H A DSValBuilder.cpp438 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs, in areEqual()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp189 ConditionTruthVal TV = C.getState()->isNonNull(Receiver); in isNonNullPtr()
H A DSimpleStreamChecker.cpp169 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
H A DPthreadLockChecker.cpp169 ConditionTruthVal retZero = CMgr.isNull(state, *sym); in resolvePossiblyDestroyedMutex()
H A DMacOSKeychainAPIChecker.cpp555 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols()
H A DMallocChecker.cpp1360 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()
2586 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
2597 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
H A DNullabilityChecker.cpp265 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp1203 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()