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
|
int a[3] = {12, 34, 56};
int b[3] = {'a', 'b', 'c'};
int c = 0;
int f(void) {
++c;
return 3;
}
int g(int n, ...) {
__builtin_va_list ap;
char (*p)[n] = 0;
int out = 1;
__builtin_va_start(ap, n);
__builtin_va_arg(ap, typeof(out--, p));
__builtin_va_end(ap);
return out;
}
int main(void) {
int r = 0;
int (*p)[f()] = 0;
r += c != 1;
typeof(c++, p) t1; /* VM; evaluated */
r += c != 2;
typeof(p, c++) t2; /* non-VM; not evaluated */
r += c != 2;
typeof(c++, **(p = &a)) t3; /* non-VM; not evaluated */
r += c != 2;
r += p != 0;
typeof(*(p = (c++, &a))) t4; /* VM, evaluated */
r += c != 3;
r += p != &a;
/*
while *(p = &b) has VM type, it is not the immediate operand
of typeof, so is converted from VLA to int pointer due to
the comma operator, so the typeof expression is not evaluated
*/
typeof(c++, *(p = &b)) t5;
r += c != 3;
r += p != &a;
(typeof(c++, p))0;
r += c != 4;
(typeof(c++, p)){0};
r += c != 5;
r += g(3, p);
typeof(typeof(c++, p)) t6;
r += c != 6;
return r;
}
|
