Restrict use of minsym names when printing addresses in disassembled code
authorKevin Buettner <kevinb@redhat.com>
Thu, 4 Jul 2019 00:35:21 +0000 (17:35 -0700)
committerKevin Buettner <kevinb@redhat.com>
Sat, 27 Jul 2019 20:28:56 +0000 (13:28 -0700)
commit2dc80cf8a5799120fd4e00199688f721e7de2a62
tree072f408b268c8d838bcac8f82b37e1aa215758ed
parent567238c956c4e5530bd143bfae9393c7ae5524cd
Restrict use of minsym names when printing addresses in disassembled code

build_address_symbolic contains some code which causes it to
prefer the minsym over the the function symbol in certain cases.
The cases where this occurs are the same as the "certain pathological
cases" that used to exist in find_frame_funname().

This commit largely disables that code; it will only prefer the
minsym when the address of minsym is identical to that of the address
under consideration AND the function address for the symbtab sym is
not the same as the address under consideration.

So, without this change, when using the dw2-ranges-func-lo-cold
executable from the gdb.dwarf2/dw2-ranges-func.exp test, GDB exhibits
the following behavior:

(gdb) x/5i foo_cold
   0x40110d <foo+4294967277>: push   %rbp
   0x40110e <foo+4294967278>: mov    %rsp,%rbp
   0x401111 <foo+4294967281>: callq  0x401106 <baz>
   0x401116 <foo+4294967286>: nop
   0x401117 <foo+4294967287>: pop    %rbp

On the other hand, still without this change, using the
dw2-ranges-func-hi-cold executable from the same test, GDB
does this instead:

(gdb) x/5i foo_cold
   0x401128 <foo_cold>: push   %rbp
   0x401129 <foo_cold+1>: mov    %rsp,%rbp
   0x40112c <foo_cold+4>: callq  0x401134 <baz>
   0x401131 <foo_cold+9>: nop
   0x401132 <foo_cold+10>: pop    %rbp

This is inconsistent behavior.  When foo_cold is at a lower
address than the function's entry point, the symtab symbol (foo)
is displayed along with a large positive offset which would wrap
around the address space if the address space were only 32 bits wide.
(A later patch fixes this problem by displaying negative offsets.)

This commit makes the behavior uniform for both the "lo-cold" and
"hi-cold" cases:

lo-cold:

(gdb) x/5i foo_cold
   0x40110d <foo_cold>: push   %rbp
   0x40110e <foo-18>: mov    %rsp,%rbp
   0x401111 <foo-15>: callq  0x401106 <baz>
   0x401116 <foo-10>: nop
   0x401117 <foo-9>: pop    %rbp

hi-cold:

(gdb) x/5i foo_cold
   0x401128 <foo_cold>: push   %rbp
   0x401129 <foo+35>: mov    %rsp,%rbp
   0x40112c <foo+38>: callq  0x401134 <baz>
   0x401131 <foo+43>: nop
   0x401132 <foo+44>: pop    %rbp

In both cases, the symbol shown for the address at which foo_cold
resides is shown as <foo_cold>.  Subsequent offsets are shown as
either negative or positive offsets from the entry pc for foo.

When disassembling a function, care must be taken to NOT display
<+0> as the offset for the second range.  For this reason, I found
it necessary to add the "prefer_sym_over_minsym" parameter to
build_address_symbolic.  The type of this flag is a bool; do_demangle
ought to be a bool also, so I made this change at the same time.

gdb/ChangeLog:

* valprint.h (build_address_symbolic): Add "prefer_sym_over_minsym"
parameter.  Change type of "do_demangle" to bool.
* disasm.c (gdb_pretty_print_disassembler::pretty_print_insn):
Pass suitable "prefer_sym_over_minsym" flag to
build_address_symbolic().  Don't output "+" for negative offsets.
* printcmd.c (print_address_symbolic): Update invocation of
build_address_symbolic to include a "prefer_sym_over_minsym"
flag.
(build_address_symbolic): Add "prefer_sym_over_minsym" parameter.
Restrict cases in which use of minimal symbol is preferred to that
of a found symbol.  Update comments.
gdb/ChangeLog
gdb/disasm.c
gdb/printcmd.c
gdb/valprint.h
This page took 0.025554 seconds and 4 git commands to generate.