1/* Check for no "noreturn" warning in main. */ 2/* { dg-do compile } */ 3/* { dg-options "-O2 -Wmissing-noreturn -fhosted" } */ 4extern void exit (int) __attribute__ ((__noreturn__)); 5 6int 7main (void) 8{ 9 exit (0); 10} 11