This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug cli/17222] printf_filtered vs printf_unfiltered
- From: "tromey at sourceware dot org" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Thu, 17 May 2018 21:33:30 +0000
- Subject: [Bug cli/17222] printf_filtered vs printf_unfiltered
- Auto-submitted: auto-generated
- References: <bug-17222-4717@http.sourceware.org/bugzilla/>
https://sourceware.org/bugzilla/show_bug.cgi?id=17222
Tom Tromey <tromey at sourceware dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tromey at sourceware dot org
--- Comment #2 from Tom Tromey <tromey at sourceware dot org> ---
See also bug #7234. That one implies that gdb_stdout should
be filtered and the rest unfiltered.
I tend to think that all unfiltered output should be removed.
For one thing if there is ever a mix of filtered and unfiltered,
then paging confusion could result, because it seems like gdb would
end up with an incorrect line count.
--
You are receiving this mail because:
You are on the CC list for the bug.