Searched refs:DynT (Results 1 – 1 of 1) sorted by relevance
174 QualType DynT = R->getLocationType(); in isDereferencableUninit() local175 QualType PointeeT = DynT->getPointeeType(); in isDereferencableUninit()179 return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT))); in isDereferencableUninit()186 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), in isDereferencableUninit()208 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R); in isDereferencableUninit()242 QualType DynT = R->getLocationType(); in dereference() local244 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()254 DynT = R->getLocationType(); in dereference()257 if (isDereferencableType(DynT->getPointeeType())) in dereference()