Re: [PATCH] Fix formatted print of functions

[Simon Marchi <simark@simark.ca>]

On 9/29/26 1:37 PM, Tom Tromey wrote:
> A user noticed that formatted printing of functions is strange.  That
> is, printing a function normally does what you'd expect, but "print/d"
> or "print/x" will, bizarrely, instead print the value of the first
> byte of the function's body:
> 
>     (gdb) print main
>     $1 = {<text variable, no debug info>} 0x393c20 <main>
>     (gdb) print/x main
>     $2 = 0x41
> 
> This doesn't seem useful or intuitive to me.
> 
> This patch changes gdb to instead simply print the function pointer
> using the specified format.
> 
> Regression tested on x86-64 Fedora 43.
> 
> Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=34685
> ---
>  gdb/testsuite/gdb.base/printcmds.exp |  7 +++++++
>  gdb/testsuite/gdb.cp/printmethod.exp | 11 ++++++++++-
>  gdb/valprint.c                       |  8 ++++++++
>  3 files changed, 25 insertions(+), 1 deletion(-)
> 
> diff --git a/gdb/testsuite/gdb.base/printcmds.exp b/gdb/testsuite/gdb.base/printcmds.exp
> index 9de1bcdd1a3..940622abb76 100644
> --- a/gdb/testsuite/gdb.base/printcmds.exp
> +++ b/gdb/testsuite/gdb.base/printcmds.exp
> @@ -1176,6 +1176,13 @@ proc test_printf_convenience_var {prefix} {
>      }
>  }
>  
> +# Test formatted print with a function.  See PR gdb/34685.
> +proc test_function_print {} {
> +    set value [get_var_address main]
> +    gdb_test "print/x main" " = $value"
> +    gdb_test "print/d main" " = [expr {$value}]"
> +}

This proc is never called.

> +
>  clean_restart
>  
>  gdb_test "print \$pc" "No registers\\."
> diff --git a/gdb/testsuite/gdb.cp/printmethod.exp b/gdb/testsuite/gdb.cp/printmethod.exp
> index fdc1c91bf23..e19646b0366 100644
> --- a/gdb/testsuite/gdb.cp/printmethod.exp
> +++ b/gdb/testsuite/gdb.cp/printmethod.exp
> @@ -49,4 +49,13 @@ gdb_test "print theA->nonvirt" \
>      "${::valnum_re} = {void \\(A \\* const\\)} $hex <A::nonvirt\\((void|)\\)>" \
>      "print nonvirtual method."
>  
> -gdb_exit
> +proc test_formatted {exp} {
> +    set out [get_valueof "" $exp ""]
> +    regexp -- [subst_vars {^.* ($::hex) .*$}] $out ignore value
> +    gdb_test "print/x $exp = $value"
> +    gdb_test "print/d $exp" " = [expr {$value}]"

The quotes are wrong on the first gdb_test.

Simon