This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]