Searched refs:SValMemRegion (Results 1 – 1 of 1) sorted by relevance
168 if (const MemRegion *SValMemRegion = V.getAsRegion()) { in uninitRefOrPointer() local170 const SVal PSV = State->getSVal(SValMemRegion); in uninitRefOrPointer()