From 179d59a3ee651b593e887367553515e64cdc5cde Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Sun, 2 Jan 2022 13:56:42 -0700 Subject: [PATCH] Remove vfprintf_styled Nothing calls vfprintf_styled any more, so remove it. --- gdb/utils.c | 11 ----------- gdb/utils.h | 6 ------ 2 files changed, 17 deletions(-) diff --git a/gdb/utils.c b/gdb/utils.c index bc0cdd05755..8d3a89cf036 100644 --- a/gdb/utils.c +++ b/gdb/utils.c @@ -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, ...) { diff --git a/gdb/utils.h b/gdb/utils.h index 71a034935cf..3d057466912 100644 --- a/gdb/utils.h +++ b/gdb/utils.h @@ -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. */ -- 2.30.2