+}
+
+static src_loc_t default_retrieve_dbg(dbg_info const *const dbg)
+{
+ (void)dbg;
+ src_loc_t const loc = { NULL, 0, 0 };
+ return loc;
+}
+
+/** The debug info retriever function. */
+static retrieve_dbg_func retrieve_dbg = default_retrieve_dbg;
+static retrieve_type_dbg_func retrieve_type_dbg = NULL;
+
+void ir_set_debug_retrieve(retrieve_dbg_func func)
+{
+ retrieve_dbg = func ? func : default_retrieve_dbg;
+}
+
+src_loc_t ir_retrieve_dbg_info(dbg_info const *const dbg)
+{
+ return retrieve_dbg(dbg);
+}
+
+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';
+}
+
+void ir_dbg_info_snprint(char *buf, size_t bufsize, const dbg_info *dbg)
+{
+ src_loc_t const loc = ir_retrieve_dbg_info(dbg);
+
+ if (!loc.file) {
+ assert(bufsize > 0);
+ buf[0] = 0;
+ return;
+ }
+ if (loc.column == 0) {
+ snprintf(buf, bufsize, "%s:%u", loc.file, loc.line);
+ } else {
+ snprintf(buf, bufsize, "%s:%u:%u", loc.file, loc.line, loc.column);
+ }
+}