This is the mail archive of the
gdb@sourceware.org
mailing list for the GDB project.
Re: Breaking on C labels?
- From: Michael Snyder <Michael dot Snyder at palmsource dot com>
- To: Jim Blandy <jimb at codesourcery dot com>
- Cc: Joel Brobecker <brobecker at adacore dot com>, gdb at sourceware dot org
- Date: Thu, 25 Jan 2007 15:20:03 -0800
- Subject: Re: Breaking on C labels?
- References: <20070125194905.GB4262@adacore.com> <m3zm86yfc1.fsf@codesourcery.com>
On Thu, 2007-01-25 at 13:19 -0800, Jim Blandy wrote:
> Joel Brobecker <brobecker@adacore.com> writes:
> > A customer asked us a question about the ability of breaking on labels
> > inside C code. Consider for instance:
> >
> > void
> > procedure foo (void)
> > {
> > [...]
> > error_handler:
> > [...]
> > }
> >
> > The customer asked if it was possible to break at the error_handler
> > label. We are helping them with finding alternative solutions, but
> > I still did a bit of researching...
> >
> > I discovered without much surprise that DWARF does indeed have provision
> > for labels (DW_TAG_label). However, I also noticed that GCC already
> > generates the associated DIEs. We actually even process them. However,
> > all my attempts in trying to reference them from the debugger failed.
> > I tried "break error_handler", or more simply "p error_handler", etc.
> >
> > Did we ever make any attempt in implementing this sort of functionality
> > in the past?
> >
> > Looking at the source code, I found in new_symbol ():
> >
> > case DW_TAG_label:
> > attr = dwarf2_attr (die, DW_AT_low_pc, cu);
> > if (attr)
> > {
> > SYMBOL_VALUE_ADDRESS (sym) = DW_ADDR (attr) + baseaddr;
> > }
> > SYMBOL_CLASS (sym) = LOC_LABEL;
> > break;
> >
> > So we setup the symbol, but we don't add to any of our symbol lists...
> > I am left wondering what it is that we'll be doing with this symbol.
>
> You're right, it looks to me as if we just throw the symbol away, too.
>
> The logical thing would be to put it in the block of the function it's
> in, since goto labels are block-scoped. It would go in LABEL_DOMAIN,
> since that's a separate namespace. And then you'd need to teach
> linespec.[ch] about them.
There's a risk that some symbol-lookup function would then select that
label instead of the function entry label when you tried to look up the
nearest label preceeding a given address.