annotate gcc/testsuite/gcc.dg/Wrestrict-17.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* PR tree-optimization/85826 - ICE in gimple-ssa-warn-restruct on
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 a variable-length struct
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 { dg-do compile }
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
4 { dg-require-effective-target alloca }
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 { dg-options "-O2 -Wall" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 int f (int n)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 typedef struct { int a[n]; } S;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 S a;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 __attribute__ ((noinline)) S g (void) { return a; }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 a.a[0] = 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 a.a[9] = 2;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 S b;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 b = g ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 return b.a[0] == 1 && b.a[9] == 2;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 }