Searched refs:DynT (Results 1 – 1 of 1) sorted by relevance
176 QualType DynT = R->getLocationType(); in isDereferencableUninit() local177 QualType PointeeT = DynT->getPointeeType(); in isDereferencableUninit()181 return isNonUnionUninit(R, LocalChain.add(NeedsCastLocField(FR, DynT))); in isDereferencableUninit()188 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), in isDereferencableUninit()210 return addFieldToUninits(LocalChain.add(NeedsCastLocField(FR, DynT)), R); in isDereferencableUninit()244 QualType DynT = R->getLocationType(); in dereference() local246 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()256 DynT = R->getLocationType(); in dereference()259 if (isDereferencableType(DynT->getPointeeType())) in dereference()