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

   1 /* PR optimization/13394 */
   2 /* Origin: Carlo Wood <carlo@gcc.gnu.org> */
   3
   4 /* Verify that a bogus "function does return" warning is not issued
   5    in presence of tail recursion within a noreturn function.  */
   6
   7 /* { dg-do compile } */
   8 /* { dg-options "-O2 -Wreturn-type -Wmissing-noreturn -fno-ipa-icf" } */
   9
  10
  11 void f(void) __attribute__ ((__noreturn__));
  12 void _exit(int status) __attribute__ ((__noreturn__));
  13
  14 int z = 0;
  15
  16 void g() /* { dg-warning "might be candidate" } */
  17 {
  18   if (++z > 10)
  19     _exit(0);
  20   g();
  21 }
  22
  23 void f()
  24 {
  25   if (++z > 10)
  26     _exit(0);
  27   f();
  28 }             /* { dg-bogus "does return" } */
  29
  30 int h() /* { dg-warning "might be candidate" } */
  31 {
  32   if (++z > 10)
  33     _exit(0);
  34   return h();
  35 }             /* { dg-bogus "end of non-void function" } */
  36
  37 int k() /* { dg-warning "might be candidate" } */
  38 {
  39   if (++z > 10)
  40     _exit(0);
  41   k();
  42 }             /* { dg-warning "control reaches" } */