Searched refs:InvalidatedSymbolicBase (Results 1 – 1 of 1) sorted by relevance
291 if (const MemRegion *InvalidatedSymbolicBase = in checkPostCall() local306 Report->markInteresting(InvalidatedSymbolicBase); in checkPostCall()338 const MemRegion *InvalidatedSymbolicBase = in checkLocation() local340 if (!InvalidatedSymbolicBase) in checkLocation()349 Report->markInteresting(InvalidatedSymbolicBase); in checkLocation()