Searched refs:isAnyBaseRegionReported (Results 1 – 1 of 1) sorted by relevance
238 static bool isAnyBaseRegionReported(ProgramStateRef State, in isAnyBaseRegionReported() function354 if (isAnyBaseRegionReported(State, Region)) { in modelUse()