{
char *file_name; /* File name (NULL if none). */
int line_number; /* Line number (0 if none). */
+ int first_column; /* 1-based column number (0 if none). */
+ int last_column; /* 1-based exclusive last column (0 if none). */
};
/* A message. */
/* Used in panic situations only. */
-void request_bug_report_and_abort (const char *msg) NO_RETURN;
+void request_bug_report (const char *msg);
#endif /* message.h */