Searched refs:DynT (Results 1 – 1 of 1) sorted by relevance
175 QualType DynT = R->getLocationType(); in isDereferencableUninit() local176 QualType PointeeT = DynT->getPointeeType(); in isDereferencableUninit()180 return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT))); in isDereferencableUninit()187 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), in isDereferencableUninit()209 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R); in isDereferencableUninit()243 QualType DynT = R->getLocationType(); in dereference() local245 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()255 DynT = R->getLocationType(); in dereference()258 if (isDereferencableType(DynT->getPointeeType())) in dereference()