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