annotate gcc/testsuite/gcc.dg/guality/vla-1.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/43150 */
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 bar (short *p)
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 __builtin_memset (p, '\0', 17 * sizeof (*p));
kono
parents:
diff changeset
9 asm volatile ("" : : "r" (p) : "memory");
kono
parents:
diff changeset
10 }
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 int __attribute__((noinline))
kono
parents:
diff changeset
13 f1 (int i)
kono
parents:
diff changeset
14 {
kono
parents:
diff changeset
15 char a[i + 1];
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
16 a[0] = 5; /* { dg-final { gdb-test .+1 "i" "5" } } */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
17 return a[0]; /* { dg-final { gdb-test . "sizeof (a)" "6" } } */
111
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 int __attribute__((noinline))
kono
parents:
diff changeset
21 f2 (int i)
kono
parents:
diff changeset
22 {
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
23 short a[i * 2 + 7]; /* { dg-final { gdb-test .+1 "i" "5" } } */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
24 bar (a); /* { dg-final { gdb-test . "sizeof (a)" "17 * sizeof (short)" } } */
111
kono
parents:
diff changeset
25 return a[i + 4];
kono
parents:
diff changeset
26 }
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 int
kono
parents:
diff changeset
29 main ()
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 volatile int j;
kono
parents:
diff changeset
32 int i = 5;
kono
parents:
diff changeset
33 asm volatile ("" : "=r" (i) : "0" (i));
kono
parents:
diff changeset
34 j = f1 (i);
kono
parents:
diff changeset
35 f2 (i);
kono
parents:
diff changeset
36 return 0;
kono
parents:
diff changeset
37 }