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