Searched refs:ConditionTruthVal (Results 1 – 9 of 9) 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 | 317 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
342 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()
348 return ConditionTruthVal(); in checkNull()
363 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
124 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) { in isNull()
148 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
|
| D | ProgramState.h | 196 ConditionTruthVal isNull(SVal V) const;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | SimpleStreamChecker.cpp | 178 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
|
| D | MacOSKeychainAPIChecker.cpp | 576 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols()
|
| D | MallocChecker.cpp | 1180 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()
2328 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
2339 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
|
| D | RetainCountChecker.cpp | 3634 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
|