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