annotate gcc/testsuite/gcc.c-torture/compile/pr59803.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 /* PR target/59803 */
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 extern void baz (void) __attribute__ ((__noreturn__));
kono
parents:
diff changeset
4 struct A { int g, h; };
kono
parents:
diff changeset
5 extern struct A a;
kono
parents:
diff changeset
6 struct B { unsigned char i, j, k, l, m; };
kono
parents:
diff changeset
7 int c, d, e;
kono
parents:
diff changeset
8 static int f;
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 void
kono
parents:
diff changeset
11 foo (void)
kono
parents:
diff changeset
12 {
kono
parents:
diff changeset
13 f = 1;
kono
parents:
diff changeset
14 }
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 void
kono
parents:
diff changeset
17 bar (struct B *x)
kono
parents:
diff changeset
18 {
kono
parents:
diff changeset
19 x->i = e;
kono
parents:
diff changeset
20 x->k = c;
kono
parents:
diff changeset
21 x->l = d;
kono
parents:
diff changeset
22 x->j = a.h;
kono
parents:
diff changeset
23 x->m = f;
kono
parents:
diff changeset
24 if (x->i != e) baz ();
kono
parents:
diff changeset
25 if (x->k != c) baz ();
kono
parents:
diff changeset
26 if (x->j != a.h) baz ();
kono
parents:
diff changeset
27 }