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.
Jeff
