annotate gcc/testsuite/gcc.dg/tree-ssa/pr61385.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-O2" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 #define assert(x) if (!(x)) __builtin_abort ()
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 int a, b, c, d, e, f, g;
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 int
kono
parents:
diff changeset
9 fn1 ()
kono
parents:
diff changeset
10 {
kono
parents:
diff changeset
11 int *h = &c;
kono
parents:
diff changeset
12 for (; c < 1; c++)
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 int *i = &a, *k = &a;
kono
parents:
diff changeset
15 f = 0;
kono
parents:
diff changeset
16 if (b)
kono
parents:
diff changeset
17 return 0;
kono
parents:
diff changeset
18 if (*h)
kono
parents:
diff changeset
19 {
kono
parents:
diff changeset
20 int **j = &i;
kono
parents:
diff changeset
21 *j = 0;
kono
parents:
diff changeset
22 d = 0;
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24 else
kono
parents:
diff changeset
25 g = e = 0;
kono
parents:
diff changeset
26 if (*h)
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 int **l = &k;
kono
parents:
diff changeset
29 *l = &g;
kono
parents:
diff changeset
30 }
kono
parents:
diff changeset
31 d &= *h;
kono
parents:
diff changeset
32 assert (k == &a || k);
kono
parents:
diff changeset
33 assert (i);
kono
parents:
diff changeset
34 }
kono
parents:
diff changeset
35 return 0;
kono
parents:
diff changeset
36 }
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 int
kono
parents:
diff changeset
39 main ()
kono
parents:
diff changeset
40 {
kono
parents:
diff changeset
41 fn1 ();
kono
parents:
diff changeset
42 return 0;
kono
parents:
diff changeset
43 }