Searched refs:assumeInclusiveRangeInternal (Results 1 – 2 of 2) sorted by relevance
72 ProgramStateRef assumeInclusiveRangeInternal(ProgramStateRef State,
94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRangeInternal( in assumeInclusiveRangeInternal() function in clang::ento::SimpleConstraintManager