http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60013
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Slightly more reduced testcase for -O2:
typedef long int jmp_buf[64];
extern int _setjmp (jmp_buf) __attribute__ ((__nothrow__));
struct S { int a, b, c; };
extern struct S *baz (struct S *);
static jmp_buf j;
static inline int
bar (int b, int d)
{
return (b & d) < 0;
}
struct S *
foo (int a, struct S *b, struct S *c, struct S *d)
{
if (b->a == 0)
{
switch (a)
{
case 8:
return baz (b);
case 7:
bar (b->c, c->b);
return 0;
case 6:
case 5:
case 4:
return baz (c);
case 3:
case 2:
return baz (d);
}
return 0;
}
if (b->a == 1)
{
if (baz (c))
return c;
else if (_setjmp (j))
baz (b);
}
return 0;
}