Searched refs:assumeInclusiveRange (Results 1 - 6 of 6) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h120 virtual ProgramStateRef assumeInclusiveRange(ProgramStateRef State,
131 assumeInclusiveRange(State, Value, From, To, true);
139 assumeInclusiveRange(State, Value, From, To, false);
H A DSimpleConstraintManager.h42 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
H A DProgramState.h203 LLVM_NODISCARD ProgramStateRef assumeInclusiveRange(DefinedOrUnknownSVal Val,
214 assumeInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From,
677 inline ProgramStateRef ProgramState::assumeInclusiveRange( function in class:clang::ento::ProgramState
685 return getStateManager().ConstraintMgr->assumeInclusiveRange(
690 ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val, function in class:clang::ento::ProgramState
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange( function in class:clang::ento::SimpleConstraintManager
111 llvm_unreachable("'assumeInclusiveRange' is not implemented"
H A DExprEngine.cpp2391 DefaultSt->assumeInclusiveRange(*NL, V1, V2);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp256 State = CM.assumeInclusiveRange(State, *N, Min, Max, false);
290 State = CM.assumeInclusiveRange(State, *N, MinusInf, Left, false);
298 State = CM.assumeInclusiveRange(State, *N, Right, PlusInf, false);
307 State = CM.assumeInclusiveRange(State, *N, Min, Max, false);

Completed in 95 milliseconds