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