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