Searched refs:d_type_data (Results 1 – 4 of 4) sorted by relevance
266 static struct gdbarch_data *d_type_data; variable273 return (const struct builtin_d_type *) gdbarch_data (gdbarch, d_type_data); in builtin_d_type()280 d_type_data = gdbarch_data_register_post_init (build_d_types); in _initialize_d_language()
15339 (d_type_data): New static variable.15340 (_initialize_d_language): Initialize d_type_data.
864 Assert( !d_type_data.isNull() ); in getDataType()865 return d_type_data; in getDataType()881 if (d_type_data.isNull()) { in ppNotifyAssertions()882 d_type_data = NodeManager::currentNM()->mkSort("_sep_U"); in ppNotifyAssertions()883 Trace("sep-type") << "Sep: assume data type " << d_type_data << std::endl; in ppNotifyAssertions()884 d_loc_to_data_type[d_type_ref] = d_type_data; in ppNotifyAssertions()1047 d_type_data = tn2; in registerRefDataTypes()1056 d_type_data = tn2; in registerRefDataTypes()
231 TypeNode d_type_data; variable