On Thu, Mar 19, 2020 at 10:24:28PM +0000, Ramsay Jones wrote: > On 18/03/2020 17:31, Luc Van Oostenryck wrote: > > diff --git a/validation/linear/builtin_unreachable0.c b/validation/linear/builtin_unreachable0.c > > new file mode 100644 > > index 000000000000..5da9d074ae5f > > --- /dev/null > > +++ b/validation/linear/builtin_unreachable0.c > > @@ -0,0 +1,30 @@ > > +extern void die(void) __attribute__((noreturn)); > > Hmm, is this declaration intended? Only before it was cut-and-pasted ;) Thanks for noticing. -- Luc