1 /* { dg-do compile }
2 /* { dg-options "-O -fno-tree-ccp -fno-tree-fre -ftree-vrp" } */
3 
4 extern void foo (void) __attribute__((noreturn));
g(void)5 void g (void)
6 {
7   void (*f) (void) = foo;
8   f ();
9 }
10