Remove vfprintf_styled
authorTom Tromey <tom@tromey.com>
Sun, 2 Jan 2022 20:56:42 +0000 (13:56 -0700)
committerTom Tromey <tom@tromey.com>
Tue, 29 Mar 2022 18:46:25 +0000 (12:46 -0600)
Nothing calls vfprintf_styled any more, so remove it.

gdb/utils.c
gdb/utils.h

index bc0cdd057556b2856af292e2c26ec65c4e10412c..8d3a89cf03629df116a126142505219b34257fea 100644 (file)
@@ -1837,17 +1837,6 @@ fprintf_styled (struct ui_file *stream, const ui_file_style &style,
   stream->emit_style_escape (ui_file_style ());
 }
 
-/* See utils.h.  */
-
-void
-vfprintf_styled (struct ui_file *stream, const ui_file_style &style,
-                const char *format, va_list args)
-{
-  stream->emit_style_escape (style);
-  gdb_vprintf (stream, format, args);
-  stream->emit_style_escape (ui_file_style ());
-}
-
 void
 gdb_printf (const char *format, ...)
 {
index 71a034935cfc5222b32bbec95efe37fd1e16b9d5..3d057466912eb0c1a84101808610ab12c9d8b029 100644 (file)
@@ -271,12 +271,6 @@ extern void fprintf_styled (struct ui_file *stream,
                            ...)
   ATTRIBUTE_PRINTF (3, 4);
 
-extern void vfprintf_styled (struct ui_file *stream,
-                            const ui_file_style &style,
-                            const char *fmt,
-                            va_list args)
-  ATTRIBUTE_PRINTF (3, 0);
-
 /* Like gdb_puts, but styles the output according to STYLE, when
    appropriate.  */