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