blob: 94a26cc3875d39e07fba3f405b0659e32e433cd6 [file] [log] [blame]
/* 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();
}