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