Searched defs:assumeSymWithinInclusiveRange (Results 1 – 2 of 2) sorted by relevance
302 SimpleConstraintManager::assumeSymWithinInclusiveRange(ProgramStateRef State, in assumeSymWithinInclusiveRange() function in clang::ento::SimpleConstraintManager
2223 ProgramStateRef RangeConstraintManager::assumeSymWithinInclusiveRange( in assumeSymWithinInclusiveRange() function in RangeConstraintManager