Searched refs:ProgramStatePair (Results 1 – 6 of 6) sorted by relevance
| /aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair; typedef
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
88 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeDual()
96 return ProgramStatePair(State, (ProgramStateRef)nullptr); in assumeDual()
99 return ProgramStatePair(StTrue, StFalse); in assumeDual()
108 virtual ProgramStatePair assumeWithinInclusiveRangeDual( in assumeWithinInclusiveRangeDual()
117 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeWithinInclusiveRangeDual()
125 return ProgramStatePair(State, (ProgramStateRef)nullptr); in assumeWithinInclusiveRangeDual()
128 return ProgramStatePair(StInRange, StOutOfRange); in assumeWithinInclusiveRangeDual()
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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,
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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,
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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,
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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,
|
| /aosp_15_r20/external/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 33 const ProgramStatePair &P = assumeDual(State, V); in checkNull()
|