On Mon, Apr 8, 2019 at 2:31 PM Michael Matz <m...@suse.de> wrote: > > Hi, > > On Mon, 8 Apr 2019, Richard Biener wrote: > > > Not sure if in this case we run into an RTL optimization that breaks things > > (PRE / scheduling / invariant motion are candidates). > > That's true, what Josef sees might point to a genuine bug in the > middle-end observed only on msp430; but we do want to make this situation > work generally, as required by ISO C, not like how it's spelled in our > manual.
Yes, and there's at least one existing bug, PR57067 for which it was observed the scheduler genrates wrong-code. Richard. > > Ciao, > Michael.