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