/* PR middle-end/pr42363, extended from the test for PR middle-end/37913. */
|
/* PR middle-end/pr42363, extended from the test for PR middle-end/37913. */
|
/* { dg-do compile } */
|
/* { dg-do compile } */
|
/* { dg-options "-g" } */
|
/* { dg-options "-g" } */
|
|
|
void foo (void) __attribute__ ((noreturn));
|
void foo (void) __attribute__ ((noreturn));
|
|
|
static int __attribute__ ((noreturn))
|
static int __attribute__ ((noreturn))
|
bar (void)
|
bar (void)
|
{
|
{
|
foo ();
|
foo ();
|
}
|
}
|
|
|
int
|
int
|
baz (void)
|
baz (void)
|
{
|
{
|
int i = bar ();
|
int i = bar ();
|
return i + 1;
|
return i + 1;
|
}
|
}
|
|
|
int fooz (void) __attribute__ ((noreturn));
|
int fooz (void) __attribute__ ((noreturn));
|
|
|
static int __attribute__ ((noreturn))
|
static int __attribute__ ((noreturn))
|
bart (void)
|
bart (void)
|
{
|
{
|
return fooz (); /* { dg-warning "noreturn" } */
|
return fooz (); /* { dg-warning "noreturn" } */
|
}
|
}
|
|
|
int bazr (void)
|
int bazr (void)
|
{
|
{
|
int i = bart ();
|
int i = bart ();
|
return i + 1;
|
return i + 1;
|
}
|
}
|
|
|
static inline int
|
static inline int
|
bard (void)
|
bard (void)
|
{
|
{
|
return fooz ();
|
return fooz ();
|
}
|
}
|
|
|
int bizr (void)
|
int bizr (void)
|
{
|
{
|
int i, j;
|
int i, j;
|
|
|
i = j = bard ();
|
i = j = bard ();
|
|
|
return i + 1;
|
return i + 1;
|
}
|
}
|
|
|
/* This might be regarded as pure and folded, rather than inlined.
|
/* This might be regarded as pure and folded, rather than inlined.
|
It's pure evil. */
|
It's pure evil. */
|
static int __attribute__ ((pure, const, noreturn))
|
static int __attribute__ ((pure, const, noreturn))
|
barf (void)
|
barf (void)
|
{
|
{
|
} /* { dg-warning "does return" } */
|
} /* { dg-warning "does return" } */
|
|
|
static int __attribute__ ((pure, const))
|
static int __attribute__ ((pure, const))
|
bark (void)
|
bark (void)
|
{
|
{
|
barf ();
|
barf ();
|
}
|
}
|
|
|
int buzr (void)
|
int buzr (void)
|
{
|
{
|
int i, j;
|
int i, j;
|
|
|
i = j = bark () + bark ();
|
i = j = bark () + bark ();
|
|
|
return i + 1;
|
return i + 1;
|
}
|
}
|
|
|
int buzt (void)
|
int buzt (void)
|
{
|
{
|
int i, j;
|
int i, j;
|
|
|
i = j = barf () + barf ();
|
i = j = barf () + barf ();
|
|
|
return i + 1;
|
return i + 1;
|
}
|
}
|
|
|
void bust (void)
|
void bust (void)
|
{
|
{
|
while (barf ())
|
while (barf ())
|
;
|
;
|
}
|
}
|
|
|
