return new_r_Unknown(irg, mode);
}
-unsigned dbg_snprint(char *buf, unsigned len, const dbg_info *dbg)
-{
- const source_position_t *pos = (const source_position_t*) dbg;
- if (pos == NULL)
- return 0;
- return (unsigned) snprintf(buf, len, "%s:%u", pos->input_name,
- pos->linenr);
-}
-
const char *dbg_retrieve(const dbg_info *dbg, unsigned *line)
{
const source_position_t *pos = (const source_position_t*) dbg;
if_conv_info = be_params->if_conv_info;
}
- dbg_init(NULL, NULL, dbg_snprint);
edges_init_dbg(firm_opt.vrfy_edges);
/* Sel node cannot produce NULL pointers */
/** Debug printf implementation. */
extern void dbg_printf(const char *fmt, ...);
-/** Convert the debug info into human readable form. */
-extern unsigned dbg_snprint(char *buf, unsigned len, const dbg_info *dbg);
-
/** Convert the debug info back. */
extern const char *dbg_retrieve(const dbg_info *dbg, unsigned *line);