gcc/testsuite/gcc.dg/noreturn-1.c

   1 /* Check for various valid and erroneous "noreturn" cases. */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -Wmissing-noreturn" } */
   4
   5 extern void exit (int);
   6
   7 extern void foo1(void) __attribute__ ((__noreturn__));
   8 void
   9 foo1(void)
  10 {
  11 } /* { dg-warning "`noreturn' function does return" "detect falling off end of noreturn" } */
  12
  13 extern void foo2(void) __attribute__ ((__noreturn__));
  14 void
  15 foo2(void)
  16 {
  17   exit(0);
  18 } /* { dg-bogus "warning:" "this function should not get any warnings" } */
  19
  20 extern void foo3(void);
  21 void
  22 foo3(void)
  23 {
  24 } /* { dg-bogus "warning:" "this function should not get any warnings" } */
  25
  26 extern void foo4(void);
  27 void
  28 foo4(void)
  29 { /* { dg-warning "candidate for attribute `noreturn'" "detect noreturn candidate" } */
  30   exit(0);
  31 }
  32
  33 extern void foo5(void) __attribute__ ((__noreturn__));
  34 void
  35 foo5(void)
  36 {
  37   return; /* { dg-warning "`noreturn' has a `return' statement" "detect invalid return" } */
  38 }
  39 /* { dg-warning "function does return" "detect return from noreturn" { target *-*-* } 37 } */
  40
  41 extern void foo6(void);
  42 void
  43 foo6(void)
  44 {
  45   return;
  46 } /* { dg-bogus "warning:" "this function should not get any warnings" } */
  47
  48 extern void foo7(void);
  49 void
  50 foo7(void)
  51 {
  52   foo6();
  53 } /* { dg-bogus "warning:" "this function should not get any warnings" } */
  54
  55 extern void foo8(void) __attribute__ ((__noreturn__));
  56 void
  57 foo8(void)
  58 {
  59   foo7();
  60 } /* { dg-warning "`noreturn' function does return" "detect return from tail call" } */