1 /* { dg-do run } */
2 /* { dg-options "-fwrapv" } */
3
foo(unsigned char c2)4 signed char foo(unsigned char c2)
5 {
6 signed char c2_22;
7
8 if (c2 <= 63 || c2 == 127)
9 goto bb43;
10 else
11 goto bb20;
12
13 bb20:
14 if (c2 > 252)
15 goto bb43;
16 else
17 goto bb21;
18
19 bb21:
20 /*...*/;
21
22 bb24:
23 c2_22 = (signed char)c2;
24 if (c2_22 >= 0)
25 goto bb25;
26 else
27 goto bb26;
28
29 bb25:
30 c2 = (unsigned char)(c2_22 - 64);
31 goto bb27;
32
33 bb26:
34 c2 = (unsigned char)(c2_22 - 65);
35
36 bb27:
37 if (c2 <= 93)
38 goto bb28;
39 else
40 goto bb29;
41
42 bb28:
43 c2 = c2 + 33;
44 goto bb30;
45
46 bb29:
47 c2 = (unsigned char)((signed char)c2 - 61);
48
49 bb30:
50 return c2;
51
52 bb43:
53 return -1;
54 }
55 extern void abort (void);
main()56 int main()
57 {
58 signed char res[256] = {
59 -1, -1, -1, -1, -1, -1, -1, -1,
60 -1, -1, -1, -1, -1, -1, -1, -1,
61 -1, -1, -1, -1, -1, -1, -1, -1,
62 -1, -1, -1, -1, -1, -1, -1, -1,
63 -1, -1, -1, -1, -1, -1, -1, -1,
64 -1, -1, -1, -1, -1, -1, -1, -1,
65 -1, -1, -1, -1, -1, -1, -1, -1,
66 -1, -1, -1, -1, -1, -1, -1, -1,
67 33, 34, 35, 36, 37, 38, 39, 40,
68 41, 42, 43, 44, 45, 46, 47, 48,
69 49, 50, 51, 52, 53, 54, 55, 56,
70 57, 58, 59, 60, 61, 62, 63, 64,
71 65, 66, 67, 68, 69, 70, 71, 72,
72 73, 74, 75, 76, 77, 78, 79, 80,
73 81, 82, 83, 84, 85, 86, 87, 88,
74 89, 90, 91, 92, 93, 94, 95, -1,
75 96, 97, 98, 99, 100, 101, 102, 103,
76 104, 105, 106, 107, 108, 109, 110, 111,
77 112, 113, 114, 115, 116, 117, 118, 119,
78 120, 121, 122, 123, 124, 125, 126, 33,
79 34, 35, 36, 37, 38, 39, 40, 41,
80 42, 43, 44, 45, 46, 47, 48, 49,
81 50, 51, 52, 53, 54, 55, 56, 57,
82 58, 59, 60, 61, 62, 63, 64, 65,
83 66, 67, 68, 69, 70, 71, 72, 73,
84 74, 75, 76, 77, 78, 79, 80, 81,
85 82, 83, 84, 85, 86, 87, 88, 89,
86 90, 91, 92, 93, 94, 95, 96, 97,
87 98, 99, 100, 101, 102, 103, 104, 105,
88 106, 107, 108, 109, 110, 111, 112, 113,
89 114, 115, 116, 117, 118, 119, 120, 121,
90 122, 123, 124, 125, 126, -1, -1, -1
91 };
92 unsigned int c;
93 for (c = 0; c <= 255; ++c)
94 {
95 if (foo (c) != res[c])
96 abort ();
97 }
98 return 0;
99 }
100