annotate gcc/testsuite/gcc.dg/guality/vla-2.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR debug/42801 */
kono
parents:
diff changeset
2 /* { dg-do run } */
kono
parents:
diff changeset
3 /* { dg-options "-g" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 void __attribute__((noinline))
kono
parents:
diff changeset
6 fn1 (int *x, int y)
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 asm volatile ("" : : "rm" (x), "rm" (y) : "memory");
kono
parents:
diff changeset
9 }
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 static inline __attribute__((always_inline)) int
kono
parents:
diff changeset
12 fn2 (int i)
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 int a[i];
kono
parents:
diff changeset
15 fn1 (a, i);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
16 fn1 (a, i); /* { dg-final { gdb-test . "sizeof (a)" "5 * sizeof (int)" } } */
111
kono
parents:
diff changeset
17 return i;
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 static inline __attribute__((always_inline)) int
kono
parents:
diff changeset
21 fn3 (int i)
kono
parents:
diff changeset
22 {
kono
parents:
diff changeset
23 int a[i];
kono
parents:
diff changeset
24 fn1 (a, i);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
25 fn1 (a, i); /* { dg-final { gdb-test . "sizeof (a)" "6 * sizeof (int)" } } */
111
kono
parents:
diff changeset
26 return i;
kono
parents:
diff changeset
27 }
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 static inline __attribute__((always_inline)) int
kono
parents:
diff changeset
30 fn4 (int i)
kono
parents:
diff changeset
31 {
kono
parents:
diff changeset
32 return fn3 (i);
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 int __attribute__((noinline))
kono
parents:
diff changeset
36 fn5 (void)
kono
parents:
diff changeset
37 {
kono
parents:
diff changeset
38 return fn2 (5) + 1;
kono
parents:
diff changeset
39 }
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 int __attribute__((noinline))
kono
parents:
diff changeset
42 fn6 (int i)
kono
parents:
diff changeset
43 {
kono
parents:
diff changeset
44 return fn2 (i + 1) + fn4 (i + 2) + fn4 (i + 2) + 1;
kono
parents:
diff changeset
45 }
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 int
kono
parents:
diff changeset
48 main (void)
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 int x = 4;
kono
parents:
diff changeset
51 asm volatile ("" : "+r" (x));
kono
parents:
diff changeset
52 fn5 ();
kono
parents:
diff changeset
53 fn6 (x);
kono
parents:
diff changeset
54 return 0;
kono
parents:
diff changeset
55 }