[PATCH v2 9/9] compile: compile printf: gdbserver support

[Eli Zaretskii]

> Date: Sat, 11 Apr 2015 21:23:24 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: gdb-patches@sourceware.org, pmuldoon@redhat.com
> 
> On Mon, 06 Apr 2015 19:43:22 +0200, Eli Zaretskii wrote:
> > > --- a/gdb/doc/gdb.texinfo
> > > +++ b/gdb/doc/gdb.texinfo
> > > @@ -17246,7 +17246,9 @@ multiple-line editor.
> > >  @item compile printf @var{template}, @var{expressions}@dots{}
> > >  Compile and execute @code{printf} function call with the compiler
> > >  language found as the current language in @value{GDBN}
> > > -(@pxref{Languages}).
> > > +(@pxref{Languages}).  Inferior executes @code{open_memstream} and
> > > +@code{fprintf} instead so that the produced string is printed by
> > > +@value{GDBN} and not the inferior.
> > 
> > Is this really important to say in the manual?
> > 
> > And if it is, why not simply say that the value is printed by GDB
> > itself, not by calling functions in the inferior?
> 
> Used:
> 	The value is printed by @value{GDBN} and not the inferior, inferior
> 	does not execute specifically the function @code{printf}.

Fine with me, thanks.