Searched defs:assumeInclusiveRange (Results 1 – 2 of 2) sorted by relevance
94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange( in assumeInclusiveRange() function in clang::ento::SimpleConstraintManager
684 inline ProgramStateRef ProgramState::assumeInclusiveRange( in assumeInclusiveRange() function697 ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val, in assumeInclusiveRange() function