const-eval.c source code [clang_source_code/test/Sema/const-eval.c]

1	// RUN: %clang_cc1 -fsyntax-only -verify -triple x86_64-linux %s -Wno-tautological-pointer-compare
2
3	#define EVAL_EXPR(testno, expr) int test##testno = sizeof(struct{char qq[expr];});
4	int x;
5	EVAL_EXPR(1, (_Bool)&x)
6	EVAL_EXPR(2, (int)(1.0+(double)4))
7	EVAL_EXPR(3, (int)(1.0+(float)4.0))
8	EVAL_EXPR(4, (_Bool)(1 ? (void*)&x : 0))
9	EVAL_EXPR(5, (_Bool)(int[]){0})
10	struct y {int x,y;};
11	EVAL_EXPR(6, (int)(1+(struct y*)0))
12	EVAL_EXPR(7, (int)&((struct y*)0)->y)
13	EVAL_EXPR(8, (_Bool)"asdf")
14	EVAL_EXPR(9, !!&x)
15	EVAL_EXPR(10, ((void)1, 12))
16	void g0(void);
17	EVAL_EXPR(11, (g0(), 12)) // expected-error {{must have a constant size}}
18	EVAL_EXPR(12, 1.0&&2.0)
19	EVAL_EXPR(13, x \|\| 3.0) // expected-error {{must have a constant size}}
20
21	unsigned int l_19 = 1;
22	EVAL_EXPR(14, (1 ^ l_19) && 1); // expected-error {{fields must have a constant size}}
23
24	void f()
25	{
26	int a;
27	EVAL_EXPR(15, (_Bool)&a);
28	}
29
30	// FIXME: Turn into EVAL_EXPR test once we have more folding.
31	_Complex float g16 = (1.0f + 1.0fi);
32
33	// ?: in constant expressions.
34	int g17[(3?:1) - 2];
35
36	EVAL_EXPR(18, ((int)((void*)10 + 10)) == 20 ? 1 : -1);
37
38	struct s {
39	int a[(int)-1.0f]; // expected-error {{'a' declared as an array with a negative size}}
40	};
41
42	EVAL_EXPR(19, ((int)&(char)10 == 10 ? 1 : -1));
43
44	EVAL_EXPR(20, __builtin_constant_p(((int) 10)));
45
46	EVAL_EXPR(21, (__imag__ 2i) == 2 ? 1 : -1);
47
48	EVAL_EXPR(22, (__real__ (2i+3)) == 3 ? 1 : -1);
49
50	int g23[(int)(1.0 / 1.0)] = { 1 };
51	int g24[(int)(1.0 / 1.0)] = { 1 , 2 }; // expected-warning {{excess elements in array initializer}}
52	int g25[(int)(1.0 + 1.0)], g26 = sizeof(g25);
53
54	EVAL_EXPR(26, (_Complex double)0 ? -1 : 1)
55	EVAL_EXPR(27, (_Complex int)0 ? -1 : 1)
56	EVAL_EXPR(28, (_Complex double)1 ? 1 : -1)
57	EVAL_EXPR(29, (_Complex int)1 ? 1 : -1)
58
59
60	// PR4027 + rdar://6808859
61	struct a { int x, y; };
62	static struct a V2 = (struct a)(struct a){ 1, 2};
63	static const struct a V1 = (struct a){ 1, 2};
64
65	EVAL_EXPR(30, (int)(_Complex float)((1<<30)-1) == (1<<30) ? 1 : -1)
66	EVAL_EXPR(31, (int)0 == (int)0 ? 1 : -1)
67	EVAL_EXPR(32, (int)0 != (int)0 ? -1 : 1)
68	EVAL_EXPR(33, (void)0 - (void)0 == 0 ? 1 : -1)
69	void foo(void) {}
70	EVAL_EXPR(34, (foo == (void *)0) ? -1 : 1)
71
72	// No PR. Mismatched bitwidths lead to a crash on second evaluation.
73	const _Bool constbool = 0;
74	EVAL_EXPR(35, constbool)
75	EVAL_EXPR(36, constbool)
76
77	EVAL_EXPR(37, (1,2.0) == 2.0 ? 1 : -1)
78	EVAL_EXPR(38, __builtin_expect(1,1) == 1 ? 1 : -1)
79
80	// PR7884
81	EVAL_EXPR(39, __real__(1.f) == 1 ? 1 : -1)
82	EVAL_EXPR(40, __imag__(1.f) == 0 ? 1 : -1)
83
84	// From gcc testsuite
85	EVAL_EXPR(41, (int)(1+(_Complex unsigned)2))
86
87	// rdar://8875946
88	void rdar8875946() {
89	double _Complex P;
90	float _Complex P2 = 3.3f + P;
91	}
92
93	double d = (d = 0.0); // expected-error {{not a compile-time constant}}
94	double d2 = ++d; // expected-error {{not a compile-time constant}}
95
96	int n = 2;
97	int intLvalue[(int)((long)&n ?: 1)] = { 1, 2 }; // expected-error {{variable length array}}
98
99	union u { int a; char b[4]; };
100	char c = ((union u)(123456)).b[0]; // expected-error {{not a compile-time constant}}
101
102	extern const int weak_int __attribute__((weak));
103	const int weak_int = 42;
104	int weak_int_test = weak_int; // expected-error {{not a compile-time constant}}
105
106	int literalVsNull1 = "foo" == 0;
107	int literalVsNull2 = 0 == "foo";
108
109	// PR11385.
110	int castViaInt[(int)(unsigned long)"test"]; // expected-error {{variable length array}}
111
112	// PR11391.
113	struct PR11391 { _Complex float f; } pr11391;
114	EVAL_EXPR(42, __builtin_constant_p(pr11391.f = 1))
115
116	// PR12043
117	float varfloat;
118	const float constfloat = 0;
119	EVAL_EXPR(43, varfloat && constfloat) // expected-error {{must have a constant size}}
120
121	// <rdar://problem/10962435>
122	EVAL_EXPR(45, ((char*)-1) + 1 == 0 ? 1 : -1)
123	EVAL_EXPR(46, ((char)-1) + 1 < (char) -1 ? 1 : -1)
124	EVAL_EXPR(47, &x < &x + 1 ? 1 : -1)
125	EVAL_EXPR(48, &x != &x - 1 ? 1 : -1)
126	EVAL_EXPR(49, &x < &x - 100 ? 1 : -1) // expected-error {{must have a constant size}}
127
128	extern struct Test50S Test50;
129	EVAL_EXPR(50, &Test50 < (struct Test50S*)((unsigned long)&Test50 + 10)) // expected-error {{must have a constant size}}
130
131	// <rdar://problem/11874571>
132	EVAL_EXPR(51, 0 != (float)1e99)
133
134	// PR21945
135	void PR21945() { int i = (({}), 0l); }
136
137	void PR24622();
138	struct PR24622 {} pr24622;
139	EVAL_EXPR(52, &pr24622 == (void *)&PR24622); // expected-error {{must have a constant size}}
140
141	// We evaluate these by providing 2s' complement semantics in constant
142	// expressions, like we do for integers.
143	void *PR28739a = (__int128)(unsigned long)-1 + &PR28739a;
144	void *PR28739b = &PR28739b + (__int128)(unsigned long)-1;
145	__int128 PR28739c = (&PR28739c + (__int128)(unsigned long)-1) - &PR28739c;
146	void *PR28739d = &(&PR28739d)[(__int128)(unsigned long)-1];
147
148	struct PR35214_X {
149	int k;
150	int arr[];
151	};
152	int PR35214_x;
153	int PR35214_y = ((struct PR35214_X *)&PR35214_x)->arr[1]; // expected-error {{not a compile-time constant}}
154	int PR35214_z = &((struct PR35214_X )&PR35214_x)->arr[1]; // ok, &PR35214_x + 2
155

Clang Project