1  /* PR middle-end/42674 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-Wreturn-type" } */
       4  
       5  extern void bar (void);
       6  static int foo (void) __attribute__ ((__noreturn__, __used__));
       7  
       8  static int
       9  foo (void)
      10  {
      11    while (1)
      12      bar ();
      13  }