diff options
| author | Gary Benson <gbenson@redhat.com> | 2014-06-19 09:10:44 +0100 |
|---|---|---|
| committer | Gary Benson <gbenson@redhat.com> | 2014-06-19 09:10:44 +0100 |
| commit | 57fcfb1b202c09bf83e0e98dfb1d518e7be71d2c (patch) | |
| tree | cc0e0de9c1ae26d1fc99717964a3d3321e9340dc /gdb/utils.h | |
| parent | 45371d0ceec9e0771306060c49f378eea01b1269 (diff) | |
Add new internal problem for demangler warnings
This commit adds a new category of internal problem for demangler
warnings. Demangler warnings behave in much the same way as internal
warnings except that they do not create core files and no option to
change this is presented to the user.
gdb/
2014-06-19 Gary Benson <gbenson@redhat.com>
* utils.h (demangler_vwarning): New declaration.
(demangler_warning): Likewise.
* utils.c (struct internal_problem)
<user_settable_should_quit>: New field.
<user_settable_should_dump_core>: Likewise
(internal_error_problem): Add values for above new fields.
(internal_warning_problem): Likewise.
(demangler_warning_problem): New static global.
(demangler_vwarning): New function.
(demangler_warning): Likewise.
(add_internal_problem_command): Selectively add commands.
(_initialize_utils): New internal problem command.
* maint.c (maintenance_demangler_warning): New function.
(_initialize_maint_cmds): New command.
gdb/doc/
2014-06-19 Gary Benson <gbenson@redhat.com>
* gdb.texinfo (Maintenance Commands): Document new
"maint demangler-warning" command and new
"maint set/show demangler-warning" option.
Diffstat (limited to 'gdb/utils.h')
| -rw-r--r-- | gdb/utils.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gdb/utils.h b/gdb/utils.h index 6e767dc13a..9a10281e34 100644 --- a/gdb/utils.h +++ b/gdb/utils.h @@ -311,6 +311,14 @@ extern void internal_warning (const char *file, int line, extern void warning (const char *, ...) ATTRIBUTE_PRINTF (1, 2); extern void vwarning (const char *, va_list args) ATTRIBUTE_PRINTF (1, 0); + +extern void demangler_vwarning (const char *file, int line, + const char *, va_list ap) + ATTRIBUTE_PRINTF (3, 0); + +extern void demangler_warning (const char *file, int line, + const char *, ...) ATTRIBUTE_PRINTF (3, 4); + /* Misc. utilities. */ |