1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
/* Test for VLA size evaluation; see PR 35198. */
/* Origin: Joseph Myers <joseph@codesourcery.com> */
/* { dg-do run } */
/* { dg-options "-std=c99" } */
extern void exit (int);
extern void abort (void);
int i;
void *p;
void
f1 (void *x, int j)
{
p = (int (*)[++i])x;
if (i != j)
abort ();
}
void
f1c (void *x, int j)
{
p = (int (*)[++i]){x};
if (i != j)
abort ();
}
void
f2 (void *x, int j)
{
x = (void *)(int (*)[++i])p;
if (i != j)
abort ();
}
void
f2c (void *x, int j)
{
x = (void *)(int (*)[++i]){p};
if (i != j)
abort ();
}
void
f3 (void *x, int j)
{
(void)(int (*)[++i])p;
if (i != j)
abort ();
}
void
f3c (void *x, int j)
{
(void)(int (*)[++i]){p};
if (i != j)
abort ();
}
void
f4 (void *x, int j)
{
(int (*)[++i])p;
(int (*)[++i])p;
if (i != j)
abort ();
}
void
f4c (void *x, int j)
{
(int (*)[++i]){p};
(int (*)[++i]){p};
if (i != j)
abort ();
}
void
f5c (void *x, int j, int k)
{
(++i, f3c (x, j), (int (*)[++i]){p});
if (i != k)
abort ();
}
int
main (void)
{
f1 (p, 1);
f2 (p, 2);
f3 (p, 3);
f4 (p, 5);
f1c (p, 6);
f2c (p, 7);
f3c (p, 8);
f4c (p, 10);
f5c (p, 12, 13);
exit (0);
}
|
