Searched refs:DynamicTypeMap (Results 1 – 1 of 1) sorted by relevance
719 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo> DynamicTypeMap; typedef720 template<> struct ProgramStateTrait<DynamicTypeMap>721 : public ProgramStatePartialTrait<DynamicTypeMap> {730 const DynamicTypeInfo *GDMType = get<DynamicTypeMap>(Reg); in getDynamicTypeInfo()749 ProgramStateRef NewState = set<DynamicTypeMap>(Reg, NewTy); in setDynamicTypeInfo()