annotate gcc/testsuite/gcc.dg/torture/pr36373-3.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do run } */
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 extern void abort (void);
kono
parents:
diff changeset
4 struct Foo {
kono
parents:
diff changeset
5 int *p;
kono
parents:
diff changeset
6 };
kono
parents:
diff changeset
7 struct Bar {
kono
parents:
diff changeset
8 struct Foo *x;
kono
parents:
diff changeset
9 int *q;
kono
parents:
diff changeset
10 };
kono
parents:
diff changeset
11 struct Foo __attribute__((noinline))
kono
parents:
diff changeset
12 bar(int *p)
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 struct Foo f;
kono
parents:
diff changeset
15 f.p = p;
kono
parents:
diff changeset
16 return f;
kono
parents:
diff changeset
17 }
kono
parents:
diff changeset
18 void __attribute__((noinline))
kono
parents:
diff changeset
19 foo(struct Foo f)
kono
parents:
diff changeset
20 {
kono
parents:
diff changeset
21 *f.p = 0;
kono
parents:
diff changeset
22 }
kono
parents:
diff changeset
23 int main()
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 int a, b;
kono
parents:
diff changeset
26 a = 0;
kono
parents:
diff changeset
27 b = 1;
kono
parents:
diff changeset
28 struct Bar f;
kono
parents:
diff changeset
29 struct Foo g = bar (&b);
kono
parents:
diff changeset
30 f.x = &g;
kono
parents:
diff changeset
31 f.q = &a;
kono
parents:
diff changeset
32 foo(*f.x);
kono
parents:
diff changeset
33 if (b != 0)
kono
parents:
diff changeset
34 abort ();
kono
parents:
diff changeset
35 return 0;
kono
parents:
diff changeset
36 }