Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/alias-16.c @ 158:494b0b89df80 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* { dg-do compile } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 /* { dg-options "-Wstrict-aliasing=1 -fstrict-aliasing" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 struct incomplete;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 struct s1 { int i; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 struct s2 { double d; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 f (int *i, double *d, struct s1 *s1, struct s2 *s2, char *c)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 (char *) i;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 (char *) d;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 (char *) s1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 (char *) s2;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 (char *) c;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 (int *) i;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 (int *) d; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 (int *) s1; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 (int *) s2; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 (int *) c;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 (double *) i; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 (double *) d;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 (double *) s1; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 (double *) s2; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 (double *) c;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 (struct incomplete *) i; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 (struct incomplete *) d; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 (struct incomplete *) s1; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 (struct incomplete *) s2; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 (struct incomplete *) c; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 (struct s1 *) i; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 (struct s1 *) d; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 (struct s1 *) s1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 (struct s1 *) s2; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 (struct s1 *) c;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 (struct s2 *) i; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 (struct s2 *) d; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 (struct s2 *) s1; /* { dg-warning "dereferencing type-punned pointer might break strict-aliasing rules" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 (struct s2 *) s2;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 (struct s2 *) c;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 }