Searched refs:ProgramStatePair (Results 1 – 2 of 2) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 38 const ProgramStatePair &P = assumeDual(State, V); in checkNull()
47 ConstraintManager::ProgramStatePair
79 return ProgramStatePair(StInfeasible, StInfeasible); in assumeDualImpl()
81 return ProgramStatePair(nullptr, StFalse); in assumeDualImpl()
86 return ProgramStatePair(StTrue, nullptr); in assumeDualImpl()
89 return ProgramStatePair(StTrue, StFalse); in assumeDualImpl()
92 ConstraintManager::ProgramStatePair
100 ConstraintManager::ProgramStatePair
112 ConstraintManager::ProgramStatePair R = assumeDual(State, Cond); in assume()
120 ConstraintManager::ProgramStatePair R = in assumeInclusiveRange()
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 80 using ProgramStatePair = std::pair<ProgramStateRef, ProgramStateRef>; variable
87 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond);
98 ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value,
183 ProgramStatePair assumeDualImpl(ProgramStateRef &State,
|