Searched refs:assumeInclusiveRangeDual (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 101 ConstraintManager::assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, in assumeInclusiveRangeDual() function in ConstraintManager
121 assumeInclusiveRangeDual(State, Value, From, To); in assumeInclusiveRange()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 93 std::tie(StIn, StOut) = CM.assumeInclusiveRangeDual(state, *NV, Zero, One); in checkBind()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 98 ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value,
|
| H A D | ProgramState.h | 743 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual( in assumeInclusiveRange()
|