annotate gcc/testsuite/gcc.dg/nested-func-9.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 /* PR c/70093 */
kono
parents:
diff changeset
2 /* { dg-do run } */
kono
parents:
diff changeset
3 /* { dg-options "" } */
kono
parents:
diff changeset
4 /* { dg-require-effective-target alloca } */
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 void
kono
parents:
diff changeset
7 foo (int n)
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 struct S { int a[n]; };
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 struct S
kono
parents:
diff changeset
12 fn (void)
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 struct S s;
kono
parents:
diff changeset
15 s.a[0] = 42;
kono
parents:
diff changeset
16 return s;
kono
parents:
diff changeset
17 }
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 auto struct S
kono
parents:
diff changeset
20 fn2 (void)
kono
parents:
diff changeset
21 {
kono
parents:
diff changeset
22 return fn ();
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 struct S x;
kono
parents:
diff changeset
26 fn ();
kono
parents:
diff changeset
27 fn2 ();
kono
parents:
diff changeset
28 x = fn ();
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 if (x.a[0] != 42)
kono
parents:
diff changeset
31 __builtin_abort ();
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 if (fn ().a[0] != 42)
kono
parents:
diff changeset
34 __builtin_abort ();
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 __typeof__ (fn ()) *p = &x;
kono
parents:
diff changeset
37 if (p->a[0] != 42)
kono
parents:
diff changeset
38 __builtin_abort ();
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 if (fn2 ().a[0] != 42)
kono
parents:
diff changeset
41 __builtin_abort ();
kono
parents:
diff changeset
42 }
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 int
kono
parents:
diff changeset
45 main (void)
kono
parents:
diff changeset
46 {
kono
parents:
diff changeset
47 foo (1);
kono
parents:
diff changeset
48 }