[patch] printf "%p" gdb internal error fix

[Eli Zaretskii]

> Date: Tue, 4 Sep 2007 10:19:26 -0400
> From: Daniel Jacobowitz <drow@false.org>
> Cc: jan.kratochvil@redhat.com, gdb-patches@sourceware.org
> 
> On Sun, Sep 10, 2006 at 09:31:15PM +0200, Mark Kettenis wrote:
> > > Date: Sun, 10 Sep 2006 19:20:37 +0200
> > > From: Jan Kratochvil <jan.kratochvil@redhat.com>
> > > 
> > > Hi,
> > > 
> > > (gdb) printf "%p\n", (void *) 7
> > > internal error in printf_command
> 
> > Hmm, this will not do the right thing when you try to print a 64-bit
> > pointer on a 32-bit host.
> 
> Better late than never...
> 
> Here is a patch for %p which does not rely on the size of a host
> pointer.

Thanks, but what about a companion patch for the manual?