Searched refs:HasMoreIteraton (Results 1 – 2 of 2) sorted by relevance
879 const LocationContext *LC, bool HasMoreIteraton);
2144 const LocationContext *LC, bool HasMoreIteraton) { in REGISTER_MAP_WITH_PROGRAMSTATE()2146 return State->set<ObjCForHasMoreIterations>({O, LC}, HasMoreIteraton); in REGISTER_MAP_WITH_PROGRAMSTATE()2171 bool HasMoreIteraton = in assumeCondition() local2178 if (HasMoreIteraton) in assumeCondition()