/* { dg-do run } */ extern void abort (void); struct S { int f0; } a = {1}, b, g, *c = &b, **f = &c; int *d, **e = &d, h; struct S foo () { *e = &h; if (!d) __builtin_unreachable (); *f = &g; return a; } int main () { struct S *i = c; *i = foo (); if (b.f0 != 1) abort (); return 0; }