[Bug middle-end/29305] local label-as-value being placed before function prolog

["jeremy at goop dot org" <gcc-bugzilla@gcc.gnu.org>]

------- Comment #4 from jeremy at goop dot org  2006-10-01 05:36 -------
Well, it isn't failing in any obvious fashion.  It's quietly putting the label
at the wrong place, without complaint.  The same code later in a function does
put the labels at the right place, so the failure mode is moderately subtle. 
If you don't intent to support my use-case, then gcc should warn/error-out
rather than be quietly wrong.

That said, I don't really understand why this can't be supported.  In what way
is this "not the correct way to think about what I'm doing"?  How else should I
achieve what I want?

I should mention that this is Linux kernel code, and there are a number of
places within the kernel where it would be useful to take the address of a
particular statement without needing to "goto" to it, but have the code
generated as if there is a goto (ie, merely taking the address of a label
should be taken to be equivalent to actually having a goto to that label).


-- 

jeremy at goop dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29305