1 // RUN: %clang_cc1 -fsyntax-only -verify=both,ref -triple x86_64-linux %s -Wno-tautological-pointer-compare -Wno-pointer-to-int-cast 2 // RUN: %clang_cc1 -fsyntax-only -verify=both,expected -triple x86_64-linux %s -Wno-tautological-pointer-compare -Wno-pointer-to-int-cast -fexperimental-new-constant-interpreter -DNEW_INTERP 3 // RUN: %clang_cc1 -fsyntax-only -verify=both,ref -triple powerpc64-ibm-aix-xcoff %s -Wno-tautological-pointer-compare -Wno-pointer-to-int-cast 4 // RUN: %clang_cc1 -fsyntax-only -verify=both,expected -triple powerpc64-ibm-aix-xcoff %s -Wno-tautological-pointer-compare -Wno-pointer-to-int-cast -fexperimental-new-constant-interpreter -DNEW_INTERP 5 6 /// This is a version of test/Sema/const-eval.c with the 7 /// tests commented out that the new constant expression interpreter does 8 /// not support yet. They are all marked with the NEW_INTERP define: 9 /// 10 /// - builtin_constant_p 11 /// - unions 12 13 14 #define EVAL_EXPR(testno, expr) enum { test##testno = (expr) }; struct check_positive##testno { int a[test##testno]; }; 15 int x; 16 EVAL_EXPR(1, (_Bool)&x) 17 EVAL_EXPR(2, (int)(1.0+(double)4)) 18 EVAL_EXPR(3, (int)(1.0+(float)4.0)) 19 EVAL_EXPR(4, (_Bool)(1 ? (void*)&x : 0)) 20 EVAL_EXPR(5, (_Bool)(int[]){0}) 21 struct y {int x,y;}; 22 EVAL_EXPR(6, (int)(1+(struct y*)0)) 23 _Static_assert((long)&((struct y*)0)->y > 0, ""); 24 EVAL_EXPR(7, (int)&((struct y*)0)->y) 25 EVAL_EXPR(8, (_Bool)"asdf") 26 EVAL_EXPR(9, !!&x) 27 EVAL_EXPR(10, ((void)1, 12)) 28 void g0(void); 29 EVAL_EXPR(11, (g0(), 12)) // both-error {{not an integer constant expression}} 30 EVAL_EXPR(12, 1.0&&2.0) 31 EVAL_EXPR(13, x || 3.0) // both-error {{not an integer constant expression}} 32 33 unsigned int l_19 = 1; 34 EVAL_EXPR(14, (1 ^ l_19) && 1); // both-error {{not an integer constant expression}} 35 36 void f(void) 37 { 38 int a; 39 EVAL_EXPR(15, (_Bool)&a); 40 } 41 42 _Complex float g16 = (1.0f + 1.0fi); 43 44 // ?: in constant expressions. 45 int g17[(3?:1) - 2]; 46 47 EVAL_EXPR(18, ((int)((void*)10 + 10)) == 20 ? 1 : -1); 48 49 struct s { 50 int a[(int)-1.0f]; // both-error {{array size is negative}} 51 }; 52 53 EVAL_EXPR(19, ((int)&*(char*)10 == 10 ? 1 : -1)); 54 55 #ifndef NEW_INTERP 56 EVAL_EXPR(20, __builtin_constant_p(*((int*) 10))); 57 #endif 58 59 EVAL_EXPR(21, (__imag__ 2i) == 2 ? 1 : -1); 60 61 EVAL_EXPR(22, (__real__ (2i+3)) == 3 ? 1 : -1); 62 63 int g23[(int)(1.0 / 1.0)] = { 1 }; // both-warning {{folded to constant array}} 64 int g24[(int)(1.0 / 1.0)] = { 1 , 2 }; // both-warning {{folded to constant array}} \ 65 // both-warning {{excess elements in array initializer}} 66 int g25[(int)(1.0 + 1.0)], g26 = sizeof(g25); // both-warning {{folded to constant array}} 67 68 EVAL_EXPR(26, (_Complex double)0 ? -1 : 1) 69 EVAL_EXPR(27, (_Complex int)0 ? -1 : 1) 70 EVAL_EXPR(28, (_Complex double)1 ? 1 : -1) 71 EVAL_EXPR(29, (_Complex int)1 ? 1 : -1) 72 73 // PR4027 74 struct a { int x, y; }; 75 static struct a V2 = (struct a)(struct a){ 1, 2}; 76 static const struct a V1 = (struct a){ 1, 2}; 77 78 EVAL_EXPR(30, (int)(_Complex float)((1<<30)-1) == (1<<30) ? 1 : -1) 79 EVAL_EXPR(31, (int*)0 == (int*)0 ? 1 : -1) 80 EVAL_EXPR(32, (int*)0 != (int*)0 ? -1 : 1) 81 EVAL_EXPR(33, (void*)0 - (void*)0 == 0 ? 1 : -1) 82 83 void foo(void) {} 84 EVAL_EXPR(34, (foo == (void *)0) ? -1 : 1) 85 86 // No PR. Mismatched bitwidths lead to a crash on second evaluation. 87 const _Bool constbool = 0; 88 EVAL_EXPR(35, constbool) 89 EVAL_EXPR(36, constbool) 90 91 EVAL_EXPR(37, ((void)1,2.0) == 2.0 ? 1 : -1) 92 EVAL_EXPR(38, __builtin_expect(1,1) == 1 ? 1 : -1) 93 94 // PR7884 95 EVAL_EXPR(39, __real__(1.f) == 1 ? 1 : -1) 96 EVAL_EXPR(40, __imag__(1.f) == 0 ? 1 : -1) 97 98 // From gcc testsuite 99 EVAL_EXPR(41, (int)(1+(_Complex unsigned)2)) 100 101 void rdar8875946(void) { 102 double _Complex P; 103 float _Complex P2 = 3.3f + P; 104 } 105 106 double d = (d = 0.0); // both-error {{not a compile-time constant}} 107 double d2 = ++d; // both-error {{not a compile-time constant}} 108 109 int n = 2; 110 int intLvalue[*(int*)((long)&n ?: 1)] = { 1, 2 }; // both-error {{variable length array}} 111 112 union u { int a; char b[4]; }; 113 char c = ((union u)(123456)).b[0]; // both-error {{not a compile-time constant}} 114 115 #ifndef NEW_INTERP 116 extern const int weak_int __attribute__((weak)); 117 const int weak_int = 42; 118 int weak_int_test = weak_int; // both-error {{not a compile-time constant}} 119 #endif 120 121 int literalVsNull1 = "foo" == 0; 122 int literalVsNull2 = 0 == "foo"; 123 124 // PR11385. 125 int castViaInt[*(int*)(unsigned long)"test"]; // both-error {{variable length array}} 126 127 // PR11391. 128 #ifndef NEW_INTERP 129 struct PR11391 { _Complex float f; } pr11391; 130 EVAL_EXPR(42, __builtin_constant_p(pr11391.f = 1)) 131 #endif 132 133 // PR12043 134 float varfloat; 135 const float constfloat = 0; 136 EVAL_EXPR(43, varfloat && constfloat) // both-error {{not an integer constant expression}} 137 EVAL_EXPR(45, ((char*)-1) + 1 == 0 ? 1 : -1) 138 EVAL_EXPR(46, ((char*)-1) + 1 < (char*) -1 ? 1 : -1) 139 EVAL_EXPR(47, &x < &x + 1 ? 1 : -1) 140 EVAL_EXPR(48, &x != &x - 1 ? 1 : -1) 141 EVAL_EXPR(49, &x < &x - 100 ? 1 : -1) // ref-error {{not an integer constant expression}} 142 143 extern struct Test50S Test50; 144 EVAL_EXPR(50, &Test50 < (struct Test50S*)((unsigned long)&Test50 + 10)) // both-error {{not an integer constant expression}} 145 146 EVAL_EXPR(51, 0 != (float)1e99) 147 148 // PR21945 149 void PR21945(void) { int i = (({}), 0l); } 150 151 void PR24622(void); 152 struct PR24622 {} pr24622; 153 EVAL_EXPR(52, &pr24622 == (void *)&PR24622); 154 155 // We evaluate these by providing 2s' complement semantics in constant 156 // expressions, like we do for integers. 157 void *PR28739a = (__int128)(unsigned long)-1 + &PR28739a; // both-warning {{the pointer incremented by 18446744073709551615 refers past the last possible element for an array in 64-bit address space containing 64-bit (8-byte) elements (max possible 2305843009213693952 elements)}} 158 159 void *PR28739b = &PR28739b + (__int128)(unsigned long)-1; // both-warning {{refers past the last possible element}} 160 __int128 PR28739c = (&PR28739c + (__int128)(unsigned long)-1) - &PR28739c; // both-warning {{refers past the last possible element}} 161 void *PR28739d = &(&PR28739d)[(__int128)(unsigned long)-1]; // both-warning {{refers past the last possible element}} 162 163 struct PR35214_X { 164 int k; 165 int arr[]; 166 }; 167 int PR35214_x; 168 int PR35214_y = ((struct PR35214_X *)&PR35214_x)->arr[1]; // both-error {{not a compile-time constant}} 169 #ifndef NEW_INTERP 170 int *PR35214_z = &((struct PR35214_X *)&PR35214_x)->arr[1]; // ok, &PR35214_x + 2 171 #endif 172 173 /// From const-eval-64.c 174 EVAL_EXPR(53, ((char*)-1LL) + 1 == 0 ? 1 : -1) 175 EVAL_EXPR(54, ((char*)-1LL) + 1 < (char*) -1 ? 1 : -1) 176 177 /// === Additions === 178 #if __SIZEOF_INT__ == 4 179 typedef __INTPTR_TYPE__ intptr_t; 180 const intptr_t A = (intptr_t)(((int*) 0) + 1); 181 const intptr_t B = (intptr_t)(((char*)0) + 3); 182 _Static_assert(A > B, ""); 183 #else 184 #error :( 185 #endif 186