Searched refs:SValMemRegion (Results 1 – 1 of 1) sorted by relevance
216 if (const MemRegion *SValMemRegion = V.getAsRegion()) { in uninitRefOrPointer() local218 const SVal PSV = State->getSVal(SValMemRegion, C.getASTContext().CharTy); in uninitRefOrPointer()