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