| /* Check for "noreturn" warning in main. */ | |
| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -Wmissing-noreturn -ffreestanding" } */ | |
| extern void exit (int) __attribute__ ((__noreturn__)); | |
| int | |
| main (void) | |
| { | |
| exit (0); | |
| } /* { dg-warning "warning: function might be possible candidate for attribute `noreturn'" "warn for main" } */ |