Searched refs:assumeInclusiveRange (Results 1 – 6 of 6) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 244 LLVM_NODISCARD ProgramStateRef assumeInclusiveRange(DefinedOrUnknownSVal Val,
255 assumeInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From,
722 inline ProgramStateRef ProgramState::assumeInclusiveRange( in assumeInclusiveRange() function
730 return getStateManager().ConstraintMgr->assumeInclusiveRange( in assumeInclusiveRange()
735 ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val, in assumeInclusiveRange() function
|
| H A D | ConstraintManager.h | 89 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 117 ConstraintManager::assumeInclusiveRange(ProgramStateRef State, NonLoc Value, in assumeInclusiveRange() function in ConstraintManager
|
| H A D | RangeConstraintManager.cpp | 2581 return State->assumeInclusiveRange(DefinedVal, Constraint->getMinValue(), in reAssume()
|
| H A D | ExprEngine.cpp | 2671 DefaultSt->assumeInclusiveRange(*NL, V1, V2); in processSwitch()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StdLibraryFunctionsChecker.cpp | 873 State = CM.assumeInclusiveRange(State, *N, Min, Max, false); in applyAsOutOfRange()
914 State = CM.assumeInclusiveRange(State, *N, MinusInf, Left, false); in applyAsWithinRange()
922 State = CM.assumeInclusiveRange(State, *N, Right, PlusInf, false); in applyAsWithinRange()
931 State = CM.assumeInclusiveRange(State, *N, Min, Max, false); in applyAsWithinRange()
|