+void ir_set_type_debug_retrieve(retrieve_type_dbg_func func)
+{
+ retrieve_type_dbg = func;
+}
+
+void ir_retrieve_type_dbg_info(char *buffer, size_t buffer_size,
+ const type_dbg_info *tdbgi)
+{
+ buffer[0] = '\0';
+ if (retrieve_type_dbg)
+ retrieve_type_dbg(buffer, buffer_size, tdbgi);
+ assert(buffer_size > 0);
+ buffer[buffer_size-1] = '\0';
+}
+