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