1 // RUN: %clang %s -ffreestanding -fsyntax-only -Xclang -verify -pedantic -fpascal-strings -std=c99 2 3 #include <stdint.h> 4 #include <limits.h> 5 6 int a() {int p; *(1 ? &p : (void*)(0 && (a(),1))) = 10;} // expected-error {{incomplete type 'void' is not assignable}} 7 8 // rdar://6091492 - ?: with __builtin_constant_p as the operand is an i-c-e. 9 int expr; 10 char w[__builtin_constant_p(expr) ? expr : 1]; 11 12 char v[sizeof(__builtin_constant_p(0)) == sizeof(int) ? 1 : -1]; 13 14 // __builtin_constant_p as the condition of ?: allows arbitrary foldable 15 // constants to be transmogrified into i-c-e's. 16 char b[__builtin_constant_p((int)(1.0+2.0)) ? (int)(1.0+2.0) : -1]; 17 18 struct c { 19 int a : ( // expected-error {{expression is not an integer constant expression}} 20 __builtin_constant_p((int)(1.0+2.0)) ? (int)(1.0+ 21 expr // expected-note {{subexpression not valid in an integer constant expression}} 22 ) : -1); 23 }; 24 25 26 27 28 void test1(int n, int* p) { *(n ? p : (void *)(7-7)) = 1; } 29 void test2(int n, int* p) { *(n ? p : (void *)0) = 1; } 30 31 32 33 char array[1024/(sizeof (long))]; 34 35 int x['\xBb' == (char) 187 ? 1: -1]; 36 37 // PR1992 38 void func(int x) 39 { 40 switch (x) { 41 case sizeof("abc"): break; 42 case sizeof("loooong"): func(4); 43 case sizeof("\ploooong"): func(4); 44 } 45 } 46 47 48 // rdar://4213768 49 int expr; 50 char y[__builtin_constant_p(expr) ? -1 : 1]; 51 char z[__builtin_constant_p(4) ? 1 : -1]; 52 53 // Comma tests 54 int comma1[0?1,2:3]; // expected-warning {{expression result unused}} 55 int comma2[1||(1,2)]; // expected-warning {{expression result unused}} \ 56 // expected-warning {{use of logical '||' with constant operand}} \ 57 // expected-note {{use '|' for a bitwise operation}} 58 int comma3[(1,2)]; // expected-warning {{size of static array must be an integer constant expression}} \ 59 // expected-warning {{expression result unused}} 60 61 // Pointer + __builtin_constant_p 62 char pbcp[__builtin_constant_p(4) ? (intptr_t)&expr : 0]; // expected-error {{variable length array declaration not allowed at file scope}} 63 64 int illegaldiv1a[1 || 1/0]; // expected-warning {{division by zero is undefined}} 65 int illegaldiv1b[1 && 1/0]; // expected-warning {{division by zero is undefined}} expected-error{{variable length array declaration not allowed at file scope}} 66 67 int illegaldiv2[1/0]; // expected-error {{variable length array declaration not allowed at file scope}} \ 68 // expected-warning {{division by zero is undefined}} 69 int illegaldiv3[INT_MIN / -1]; // expected-error {{variable length array declaration not allowed at file scope}} 70 // PR9262 71 int illegaldiv4[0 / (1 / 0)]; // expected-warning {{division by zero is undefined}} expected-error {{variable length array declaration not allowed at file scope}} 72 73 int chooseexpr[__builtin_choose_expr(1, 1, expr)]; 74 int realop[(__real__ 4) == 4 ? 1 : -1]; 75 int imagop[(__imag__ 4) == 0 ? 1 : -1]; 76
