annotate gcc/testsuite/gcc.dg/torture/pr78482.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR tree-optimization/78482 */
kono
parents:
diff changeset
2 /* { dg-do run } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 short a = 65531;
kono
parents:
diff changeset
5 int b = 3, f;
kono
parents:
diff changeset
6 signed char c, d;
kono
parents:
diff changeset
7 static void fn1(int p1)
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 short e;
kono
parents:
diff changeset
10 b = f;
kono
parents:
diff changeset
11 if (f > p1 && p1)
kono
parents:
diff changeset
12 L:
kono
parents:
diff changeset
13 for (e = 0; 0;)
kono
parents:
diff changeset
14 ;
kono
parents:
diff changeset
15 else if (d) b = 0 >= b;
kono
parents:
diff changeset
16 for (; e <= 3; e++)
kono
parents:
diff changeset
17 {
kono
parents:
diff changeset
18 if (b)
kono
parents:
diff changeset
19 continue;
kono
parents:
diff changeset
20 b = 3;
kono
parents:
diff changeset
21 goto L;
kono
parents:
diff changeset
22 }
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 __attribute__((noinline, noclone))
kono
parents:
diff changeset
26 int bar (const char *x, int y)
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 asm volatile ("" : "+g" (x), "+g" (y) : : "memory");
kono
parents:
diff changeset
29 if (y == 2)
kono
parents:
diff changeset
30 __builtin_abort ();
kono
parents:
diff changeset
31 return 0;
kono
parents:
diff changeset
32 }
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 int main()
kono
parents:
diff changeset
35 {
kono
parents:
diff changeset
36 for (; c >= 0; c--)
kono
parents:
diff changeset
37 {
kono
parents:
diff changeset
38 if (!b)
kono
parents:
diff changeset
39 {
kono
parents:
diff changeset
40 bar("%d\n", 2);
kono
parents:
diff changeset
41 continue;
kono
parents:
diff changeset
42 }
kono
parents:
diff changeset
43 fn1(a);
kono
parents:
diff changeset
44 }
kono
parents:
diff changeset
45 return 0;
kono
parents:
diff changeset
46 }