annotate gcc/testsuite/gcc.dg/pr94436.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 2b5abeee2509
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
1 /* PR middle-end/94436 */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2 /* { dg-do compile } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3 /* { dg-options "-Wincompatible-pointer-types" } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5 struct S { int s; };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6 int foo (struct S *);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 int
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9 bar (void)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11 int s = 0;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12 return foo ((struct S *) ((char *) &s - (char *) &((struct S *) 0)->s)); /* { dg-bogus "from incompatible pointer type" } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 }