Searched refs:ProgramStatePair (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 89 using ProgramStatePair = std::pair<ProgramStateRef, ProgramStateRef>; variable
93 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
102 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeDual()
110 return ProgramStatePair(State, (ProgramStateRef)nullptr); in assumeDual()
113 return ProgramStatePair(StTrue, StFalse); in assumeDual()
122 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State, in assumeInclusiveRangeDual()
132 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeInclusiveRangeDual()
140 return ProgramStatePair(State, (ProgramStateRef)nullptr); in assumeInclusiveRangeDual()
143 return ProgramStatePair(StInRange, StOutOfRange); in assumeInclusiveRangeDual()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 37 const ProgramStatePair &P = assumeDual(State, V); in checkNull()
|