aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/noreturn-4.c
blob: 6a081b3fb4e1c9d6f85c074f1f0885b44c57e8b3 (plain)
1
2
3
4
5
6
7
8
9
10
/* Check for "noreturn" warning in main. */
/* { dg-do compile } */
/* { dg-options "-O2 -Wmissing-noreturn -ffreestanding" } */
extern void exit (int) __attribute__ ((__noreturn__));

int
main (void)
{ /* { dg-warning "warning: function might be possible candidate for attribute `noreturn'" "warn for main" } */
  exit (0);
}