Searched defs:InvalidatedSymbolicBase (Results 1 – 1 of 1) sorted by relevance
208 if (const MemRegion *InvalidatedSymbolicBase = in checkPostCall() local255 const MemRegion *InvalidatedSymbolicBase = in checkLocation() local