Searched refs:HasMoreIteraton (Results 1 – 2 of 2) sorted by relevance
910 const LocationContext *LC, bool HasMoreIteraton);
2672 const LocationContext *LC, bool HasMoreIteraton) { in REGISTER_MAP_WITH_PROGRAMSTATE()2674 return State->set<ObjCForHasMoreIterations>({O, LC}, HasMoreIteraton); in REGISTER_MAP_WITH_PROGRAMSTATE()2699 bool HasMoreIteraton = in assumeCondition() local2706 if (HasMoreIteraton) in assumeCondition()