+
+static void internal_errorvf(const source_position_t *pos,
+ const char *const fmt, va_list ap)
+{
+ fprintf(stderr, "%s:%u: internal error: ", pos->input_name, pos->linenr);
+ curr_pos = pos;
+ diagnosticvf(fmt, ap);
+ fputc('\n', stderr);
+}
+
+void internal_errorf(const source_position_t *pos, const char *const fmt, ...)
+{
+ va_list ap;
+ va_start(ap, fmt);
+ curr_pos = pos;
+ internal_errorvf(pos, fmt, ap);
+ va_end(ap);
+ abort();
+}