Merge from mainline (160224:163495).
[official-gcc/graphite-test-results.git] / gcc / testsuite / gcc.dg / noreturn-4.c
blob6fe144754d05ef9b20d086e9518d061450f7d6cb
1 /* Check for "noreturn" warning in main. */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -Wmissing-noreturn -ffreestanding" } */
4 extern void exit (int) __attribute__ ((__noreturn__));
6 int
7 main (void) /* { dg-warning "function might be candidate for attribute 'noreturn'" "warn for main" } */
9 exit (0);