Subversion Repositories openrisc

/* PR optimization/13394 */
/* Origin: Carlo Wood <carlo@gcc.gnu.org> */
 
/* Verify that a bogus "function does return" warning is not issued
   in presence of tail recursion within a noreturn function.  */
 
/* { dg-do compile } */
/* { dg-options "-O2 -Wreturn-type -Wmissing-noreturn" } */
 
 
void f(void) __attribute__ ((__noreturn__));
void _exit(int status) __attribute__ ((__noreturn__));
 
int z = 0;
 
void g()
{             /* { dg-warning "possible candidate" } */
  if (++z > 10)
    _exit(0);
  g();
}
 
void f()
{
  if (++z > 10)
    _exit(0);
  f();
}             /* { dg-bogus "does return" } */
 
int h()
{             /* { dg-warning "possible candidate" } */
  if (++z > 10)
    _exit(0);
  return h();
}             /* { dg-bogus "end of non-void function" } */
 
int k()
{             /* { dg-warning "possible candidate" } */
  if (++z > 10)
    _exit(0);
  k();
}             /* { dg-warning "control reaches" } */