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 D | ConstraintManager.h | 120 virtual ProgramStateRef assumeInclusiveRange(ProgramStateRef State, 131 assumeInclusiveRange(State, Value, From, To, true); 139 assumeInclusiveRange(State, Value, From, To, false);
|
H A D | SimpleConstraintManager.h | 42 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
|
H A D | ProgramState.h | 203 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 D | SimpleConstraintManager.cpp | 94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange( function in class:clang::ento::SimpleConstraintManager 111 llvm_unreachable("'assumeInclusiveRange' is not implemented"
|
H A D | ExprEngine.cpp | 2391 DefaultSt->assumeInclusiveRange(*NL, V1, V2);
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | StdLibraryFunctionsChecker.cpp | 256 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