Searched defs:assumeInclusiveRange (Results 1 – 2 of 2) sorted by relevance
117 ConstraintManager::assumeInclusiveRange(ProgramStateRef State, NonLoc Value, in assumeInclusiveRange() function in ConstraintManager
724 inline ProgramStateRef ProgramState::assumeInclusiveRange( assumeInclusiveRange() function 737 ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val, assumeInclusiveRange() function