Searched refs:HasMoreIteraton (Results 1 – 2 of 2) sorted by relevance
902 const LocationContext *LC, bool HasMoreIteraton);
2684 const LocationContext *LC, bool HasMoreIteraton) { in REGISTER_MAP_WITH_PROGRAMSTATE()2686 return State->set<ObjCForHasMoreIterations>({O, LC}, HasMoreIteraton); in REGISTER_MAP_WITH_PROGRAMSTATE()2711 bool HasMoreIteraton = in assumeCondition() local2718 if (HasMoreIteraton) in assumeCondition()