DWARF2 bugs debug/10000 to debug/10005

[Werner Almesberger]

Richard Henderson wrote:
> Labels that are not actively involved with control flow will have
> no fixed anchor, and will float about somewhat randomly.  This can't
> be helped without severely pessimizing code generation.

I see, and a compile-time option that does just that may not be
worth the trouble either. Actually, the DWARF2 format isn't exactly
cooperating by allowing labels to have only one location.

Anyway, I think I have a work-around for this: by placing macros
that expand (in an __asm__ __volatile__) to something like

1:
	.section .my_labels,"",@progbits
	.long	1b
	.string	"label_name"
	.byte	0
	.text

I should be able to build labels with the semantics I need. Of
course, they'd only work in text sections (or any sections that
I explicitly make them work in), but at least I'll get an error
from gas if I try to use them anywhere else.

Thanks,
- Werner

-- 
  _________________________________________________________________________
 / Werner Almesberger, Buenos Aires, Argentina     werner@almesberger.net /
/_http://www.almesberger.net/____________________________________________/