aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/pr91597.c
blob: 6a917cb58af4e2f96a985cf19dacc1df9faf0910 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
/* PR tree-optimization/91597 */

enum E { A, B, C };
struct __attribute__((aligned (4))) S { enum E e; };

enum E
foo (struct S *o)
{
  if (((__UINTPTR_TYPE__) (o) & 1) == 0)
    return o->e;
  else
    return A;
}

int
bar (struct S *o)
{
  return foo (o) == B || foo (o) == C;
}

static inline void
baz (struct S *o, int d)
{
  if (__builtin_expect (!bar (o), 0))
    __builtin_abort ();
  if (d > 2) return;
  baz (o, d + 1);
}

void
qux (struct S *o)
{
  switch (o->e)
    {
    case A: return;
    case B: baz (o, 0); break;
    case C: baz (o, 0); break;
    }
}

struct S s = { C };

int
main ()
{
  qux (&s);
  return 0;
}