1  /* PR 12603: No return statement warning on function that never returns with -O3. */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O3 -Wall -Wextra -Wreturn-type" } */
       4  int
       5  this_function_never_returns ()
       6  {
       7    for (;;);
       8  }