53 |
int class; /* One of the classes above. */ |
int class; /* One of the classes above. */ |
54 |
struct file_locator where; /* File location, or (NULL, -1). */ |
struct file_locator where; /* File location, or (NULL, -1). */ |
55 |
const char *title; /* Special text inserted if not null. */ |
const char *title; /* Special text inserted if not null. */ |
|
const char *text; /* Error text. */ |
|
56 |
}; |
}; |
57 |
|
|
58 |
/* Number of errors, warnings reported. */ |
/* Number of errors, warnings reported. */ |
84 |
void err_break (void); |
void err_break (void); |
85 |
void err_check_count (void); |
void err_check_count (void); |
86 |
void err_hcf (int exit_code) NO_RETURN; |
void err_hcf (int exit_code) NO_RETURN; |
87 |
void err_vmsg (const struct error *); |
void err_vmsg (const struct error *, const char *, va_list); |
88 |
|
|
89 |
/* Used in panic situations only */ |
/* Used in panic situations only */ |
90 |
void request_bug_report_and_abort(const char *msg ); |
void request_bug_report_and_abort(const char *msg ); |