Searched refs:ProgramStatePair (Results 1 – 2 of 2) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 87 using ProgramStatePair = std::pair<ProgramStateRef, ProgramStateRef>; variable
91 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
104 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeDual()
112 return ProgramStatePair(State, (ProgramStateRef)nullptr); in assumeDual()
115 return ProgramStatePair(StTrue, StFalse); in assumeDual()
124 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State, in assumeInclusiveRangeDual()
134 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeInclusiveRangeDual()
142 return ProgramStatePair(State, (ProgramStateRef)nullptr); in assumeInclusiveRangeDual()
145 return ProgramStatePair(StInRange, StOutOfRange); in assumeInclusiveRangeDual()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 38 const ProgramStatePair &P = assumeDual(State, V); in checkNull()
|