/* 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" } */