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