Searched refs:assumeWithinInclusiveRange (Results 1 – 5 of 5) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 102 virtual ProgramStateRef assumeWithinInclusiveRange(ProgramStateRef State,
111 ProgramStateRef StInRange = assumeWithinInclusiveRange(State, Value, From, in assumeWithinInclusiveRangeDual()
119 ProgramStateRef StOutOfRange = assumeWithinInclusiveRange(State, Value, in assumeWithinInclusiveRangeDual()
|
| D | ProgramState.h | 201 ProgramStateRef assumeWithinInclusiveRange(DefinedOrUnknownSVal Val,
212 assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From,
662 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, in assumeWithinInclusiveRange() function
671 return getStateManager().ConstraintMgr->assumeWithinInclusiveRange( in assumeWithinInclusiveRange()
676 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, in assumeWithinInclusiveRange() function
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.h | 41 ProgramStateRef assumeWithinInclusiveRange(ProgramStateRef State,
|
| D | SimpleConstraintManager.cpp | 193 ProgramStateRef SimpleConstraintManager::assumeWithinInclusiveRange( in assumeWithinInclusiveRange() function in clang::ento::SimpleConstraintManager
|
| D | ExprEngine.cpp | 1843 DefaultSt->assumeWithinInclusiveRange(*NL, V1, V2); in processSwitch()
|