On Mon, May 18, 2020 at 06:41:07PM -0700, Linus Torvalds wrote: > On Mon, May 18, 2020 at 5:57 PM Luc Van Oostenryck > <luc.vanoostenryck@xxxxxxxxx> wrote: > > > > The goals of the patches in this series are: > > *) to detect such gotos at evaluation time; > > *) issue a sensible error message; > > *) avoid the linearization of functions with invalid gotos. > > Ack. Apart from that one question I had, which I didn't actually > verify whether it was a problem for the insane test-case I posted. > > I only _read_ the patches, I didn't actually apply and test them in any way. Sure, I understand that very well. I tend to give to this kind of series a decent amount of testing and its mostly fully automatic anyway (and, I think, the tests cover well most situations), but having another eye and another opinion on the patches is very much appreciated. -- Luc