annotate gcc/testsuite/gcc.c-torture/execute/mayalias-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 typedef struct __attribute__((__may_alias__)) { short x; } test;
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 test *p;
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 int g(int *a)
kono
parents:
diff changeset
6 {
kono
parents:
diff changeset
7 p = (test*)a;
kono
parents:
diff changeset
8 }
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 int f()
kono
parents:
diff changeset
11 {
kono
parents:
diff changeset
12 int a;
kono
parents:
diff changeset
13 g(&a);
kono
parents:
diff changeset
14 a = 10;
kono
parents:
diff changeset
15 test s={1};
kono
parents:
diff changeset
16 *p=s;
kono
parents:
diff changeset
17 return a;
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 int main() {
kono
parents:
diff changeset
21 if (f() == 10)
kono
parents:
diff changeset
22 __builtin_abort();
kono
parents:
diff changeset
23 return 0;
kono
parents:
diff changeset
24 }
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26