summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/pr80421.c
blob: b13ab5fc121e5a827e39610707869cfc78e9b0d2 (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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
/* PR middle-end/80421 */

__attribute__ ((noinline, noclone)) void
baz (const char *t, ...)
{
  asm volatile (""::"r" (t):"memory");
  if (*t == 'T')
    __builtin_abort ();
}

unsigned int
foo (char x)
{
  baz ("x %c\n", x);
  switch (x)
    {
    default:
      baz ("case default\n");
      if (x == 'D' || x == 'I')
	baz ("This should never be reached.\n");
      return 0;
    case 'D':
      baz ("case 'D'\n");
      return 0;
    case 'I':
      baz ("case 'I'\n");
      return 0;
    }
}

void
bar (void)
{
  int a = 2;
  int b = 5;
  char c[] = {
    2, 4, 1, 2, 5, 5, 2, 4, 4, 0, 0, 0, 0, 0, 0, 3, 4, 4, 2, 4,
    1, 2, 5, 5, 2, 4, 1, 0, 0, 0, 2, 4, 4, 3, 4, 3, 3, 5, 1, 3,
    5, 5, 2, 4, 4, 2, 4, 1, 3, 5, 3, 3, 5, 1, 3, 5, 1, 2, 4, 4,
    2, 4, 2, 3, 5, 1, 3, 5, 1, 3, 5, 5, 2, 4, 1, 2, 4, 2, 3, 5,
    3, 3, 5, 1, 3, 5, 5, 2, 4, 1, 2, 4, 1, 3, 5, 3, 3, 5, 1, 3,
    5, 5, 2, 4, 4, 2, 4, 1, 3, 5, 3, 3, 5, 1, 3, 5, 1, 2, 4, 1,
    2, 4, 2, 3, 5, 1, 3, 5, 1, 3, 5, 1, 2, 4, 1, 2, 4, 1, 3, 5,
    1, 3, 5, 1, 3, 5, 1, 2, 4, 4, 2, 4, 1, 3, 5, 1, 3, 5, 1, 3,
    5, 5, 2, 4, 4, 2, 4, 2, 3, 5, 3, 3, 5, 1, 3, 5, 5, 2, 4, 4,
    2, 4, 1, 3, 5, 3, 3, 5, 1, 3, 5, 1, 2, 5, 5, 2, 4, 2, 3, 5,
    1, 3, 4, 1, 3, 5, 1, 2, 5, 5, 2, 4, 1, 2, 5, 1, 3, 5, 3, 3,
    5, 1, 2, 5, 5, 2, 4, 2, 2, 5, 1, 3, 5, 3, 3, 5, 1, 2, 5, 1,
    2, 4, 1, 2, 5, 2, 3, 5, 1, 3, 5, 1, 2, 5, 1, 2, 4, 2, 2, 5,
    1, 3, 5, 1, 3, 5, 1, 2, 5, 5, 2, 4, 2, 2, 5, 2, 3, 5, 3, 3,
    5, 1, 2, 5, 5, 2, 4, 2, 2, 5, 2, 3, 5, 3, 3, 5, 1, 2, 5, 5,
    2, 4, 2, 2, 5, 1, 3, 5, 3, 3, 5, 1, 2, 5, 5, 2, 4, 2, 2, 5,
    1, 3, 5, 3, 3, 5, 1, 2, 5, 1, 2, 4, 1, 2, 5, 2, 3, 5, 1, 3,
    5, 1, 2, 5, 5, 2, 4, 2, 2, 5, 2, 3, 5, 3, 3, 5, 1, 2, 5, 5,
    2, 4, 1, 2, 5, 1, 3, 5, 3, 3, 5, 1, 2, 5, 5, 2, 4, 2, 2, 5,
    1, 3, 5, 3, 3, 5, 1, 2, 5, 5, 2, 4, 2, 2, 5, 1, 3, 5, 3, 3,
    5, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
  };
  char *f = c + 390;
  int i, j, e, g, h;
  char k, l;
  i = 26;
  j = 25;
  k = l = 'M';
  h = 2;
  while (i > 0)
    {
      int x = i - a;
      x = x > 0 ? x : 0;
      x = j - x;
      g = x * 3 + h;
      switch (f[g])
	{
	case 1:
	  --i;
	  --j;
	  h = 2;
	  f -= b * 3;
	  k = 'M';
	  break;
	case 2:
	  --i;
	  h = 0;
	  f -= b * 3;
	  k = 'I';
	  break;
	case 3:
	  --i;
	  h = 2;
	  f -= b * 3;
	  k = 'I';
	  break;
	case 4:
	  --j;
	  h = 1;
	  k = 'D';
	  break;
	case 5:
	  --j;
	  h = 2;
	  k = 'D';
	  break;
	}
      if (k == l)
	++e;
      else
	{
	  foo (l);
	  l = k;
	}
    }
}

int
main ()
{
  char l = 'D';
  foo (l);
  bar ();
  return 0;
}