Searched refs:InvalidatedSymbolicBase (Results 1 – 1 of 1) sorted by relevance
286 if (const MemRegion *InvalidatedSymbolicBase = in checkPostCall() local301 Report->markInteresting(InvalidatedSymbolicBase); in checkPostCall()333 const MemRegion *InvalidatedSymbolicBase = in checkLocation() local335 if (!InvalidatedSymbolicBase) in checkLocation()344 Report->markInteresting(InvalidatedSymbolicBase); in checkLocation()