On Wed, Jun 19, 2019 at 11:37:52AM -0600, Jeff Law wrote: > On 6/19/19 11:09 AM, Segher Boessenkool wrote: > > On Wed, Jun 19, 2019 at 09:39:01AM -0600, Jeff Law wrote: > >> A label used as a value, but which is not a jump target will have an > >> indeterminate value -- it'll end up somewhere in its containing > >> function, that's all we guarantee in that case. > > > > In gimple it was fine and expected, and expand *did* make a code_label, > > it was just immediately optimised away: > Yea, because it wasn't used as a jump target. That's why it gets turned > into a NOTE_INSN_DELETED_LABEL rather than just deleted.
My point was, we could change that. But the more I look at it the worse plan that looks -- it's not as simple as it appears, and for what? :-) Segher
