Searched refs:ConditionTruthVal (Results 1 – 10 of 10) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ConstraintManager.cpp | 28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
35 return ConditionTruthVal(false); in checkNull()
37 return ConditionTruthVal(true); in checkNull()
38 return ConditionTruthVal(); in checkNull()
|
| D | RangeConstraintManager.cpp | 334 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
373 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()
379 return ConditionTruthVal(); in checkNull()
394 return ConditionTruthVal(); in checkNull()
|
| D | ProgramState.cpp | 350 ConditionTruthVal ProgramState::isNull(SVal V) const { in isNull()
359 return ConditionTruthVal(); in isNull()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 30 class ConditionTruthVal {
35 ConditionTruthVal(bool constraint) : Val(constraint) {} in ConditionTruthVal() function
38 ConditionTruthVal() {} in ConditionTruthVal() function
153 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) { in isNull()
177 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
|
| D | ProgramState.h | 218 ConditionTruthVal isNull(SVal V) const;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | SimpleStreamChecker.cpp | 169 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
|
| D | MacOSKeychainAPIChecker.cpp | 566 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols()
|
| D | MallocChecker.cpp | 1192 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()
2350 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
2361 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
|
| D | NullabilityChecker.cpp | 280 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint()
|
| D | RetainCountChecker.cpp | 3683 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
|