Searched refs:findInvalidatedSymbolicBase (Results 1 – 1 of 1) sorted by relevance
234 static const MemRegion *findInvalidatedSymbolicBase(ProgramStateRef State, in findInvalidatedSymbolicBase() function292 findInvalidatedSymbolicBase(State, SR)) { in checkPostCall()339 findInvalidatedSymbolicBase(State, Loc.getAsRegion()); in checkLocation()