This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Confusion with labels as values
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