Searched refs:InvalidatedSymbolicBase (Results 1 – 1 of 1) sorted by relevance
206 if (const MemRegion *InvalidatedSymbolicBase = in checkPostCall() local221 Report->markInteresting(InvalidatedSymbolicBase); in checkPostCall()253 const MemRegion *InvalidatedSymbolicBase = in checkLocation() local255 if (!InvalidatedSymbolicBase) in checkLocation()264 Report->markInteresting(InvalidatedSymbolicBase); in checkLocation()