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