Searched refs:SetPtr (Results 1 – 1 of 1) sorted by relevance
246 const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion); in checkPostCall() local247 PtrSet Set = SetPtr ? *SetPtr : F.getEmptySet(); in checkPostCall()