]>
git.proxmox.com Git - rustc.git/blob - src/llvm/tools/clang/test/Sema/const-eval.c
1 // RUN: %clang_cc1 -fsyntax-only -verify -triple i686-linux %s
3 #define EVAL_EXPR(testno, expr) int test##testno = sizeof(struct{char qq[expr];});
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})
11 EVAL_EXPR(6, (int)(1+(struct y
*)0))
12 EVAL_EXPR(7, (int)&((struct y
*)0)->y
)
13 EVAL_EXPR(8, (_Bool
)"asdf")
15 EVAL_EXPR(10, ((void)1, 12))
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}}
21 unsigned int l_19
= 1;
22 EVAL_EXPR(14, (1 ^ l_19
) && 1); // expected-error {{fields must have a constant size}}
27 EVAL_EXPR(15, (_Bool
)&a
);
30 // FIXME: Turn into EVAL_EXPR test once we have more folding.
31 _Complex
float g16
= (1.0f
+ 1.0fi
);
33 // ?: in constant expressions.
36 EVAL_EXPR(18, ((int)((void*)10 + 10)) == 20 ? 1 : -1);
39 int a
[(int)-1.0f
]; // expected-error {{'a' declared as an array with a negative size}}
42 EVAL_EXPR(19, ((int)&*(char*)10 == 10 ? 1 : -1));
44 EVAL_EXPR(20, __builtin_constant_p(*((int*) 10)));
46 EVAL_EXPR(21, (__imag__
2i
) == 2 ? 1 : -1);
48 EVAL_EXPR(22, (__real__ (2i
+3)) == 3 ? 1 : -1);
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
);
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)
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};
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)
70 EVAL_EXPR(34, (foo
== (void *)0) ? -1 : 1)
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
)
77 EVAL_EXPR(37, (1,2.0) == 2.0 ? 1 : -1)
78 EVAL_EXPR(38, __builtin_expect(1,1) == 1 ? 1 : -1)
81 EVAL_EXPR(39, __real__(1.f
) == 1 ? 1 : -1)
82 EVAL_EXPR(40, __imag__(1.f
) == 0 ? 1 : -1)
85 EVAL_EXPR(41, (int)(1+(_Complex
unsigned)2))
90 float _Complex P2
= 3.3f
+ P
;
93 double d
= (d
= 0.0); // expected-error {{not a compile-time constant}}
94 double d2
= ++d
; // expected-error {{not a compile-time constant}}
97 int intLvalue
[*(int*)((long)&n
?: 1)] = { 1, 2 }; // expected-error {{variable length array}}
99 union u
{ int a
; char b
[4]; };
100 char c
= ((union u
)(123456)).b
[0]; // expected-error {{not a compile-time constant}}
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}}
106 int literalVsNull1
= "foo" == 0;
107 int literalVsNull2
= 0 == "foo";
110 int castViaInt
[*(int*)(unsigned long)"test"]; // expected-error {{variable length array}}
113 struct PR11391
{ _Complex
float f
; } pr11391
;
114 EVAL_EXPR(42, __builtin_constant_p(pr11391
.f
= 1))
118 const float constfloat
= 0;
119 EVAL_EXPR(43, varfloat
&& constfloat
) // expected-error {{must have a constant size}}
121 // <rdar://problem/11205586>
122 // (Make sure we continue to reject this.)
123 EVAL_EXPR(44, "x"[0]); // expected-error {{variable length array}}
125 // <rdar://problem/10962435>
126 EVAL_EXPR(45, ((char*)-1) + 1 == 0 ? 1 : -1)
127 EVAL_EXPR(46, ((char*)-1) + 1 < (char*) -1 ? 1 : -1)
128 EVAL_EXPR(47, &x
< &x
+ 1 ? 1 : -1)
129 EVAL_EXPR(48, &x
!= &x
- 1 ? 1 : -1)
130 EVAL_EXPR(49, &x
< &x
- 100 ? 1 : -1) // expected-error {{must have a constant size}}
132 extern struct Test50S Test50
;
133 EVAL_EXPR(50, &Test50
< (struct Test50S
*)((unsigned)&Test50
+ 10)) // expected-error {{must have a constant size}}
135 // <rdar://problem/11874571>
136 EVAL_EXPR(51, 0 != (float)1e99
)