1 /* { dg-do compile } */
2 /* { dg-options "-fprofile-arcs" } */
3 
4 extern void bar(void) __attribute__((noreturn));
foo(void)5 int foo (void) { bar(); }
6