Home | History | Annotate | Download | only in Sema
      1 // RUN: %clang_cc1 %s -ffreestanding -Wno-int-to-pointer-cast -fsyntax-only -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 int implicitConversion = 1.0;
     15 char floatArith[(int)(1.0+2.0)]; // expected-warning {{must be an integer constant expression}}
     16 
     17 // __builtin_constant_p as the condition of ?: allows arbitrary foldable
     18 // constants to be transmogrified into i-c-e's.
     19 char b[__builtin_constant_p((int)(1.0+2.0)) ? (int)(1.0+2.0) : -1];
     20 
     21 struct c {
     22   int a : (
     23            __builtin_constant_p((int)(1.0+2.0)) ? (int)(1.0+
     24      expr // expected-error {{expression is not an integer constant expression}}
     25            ) : -1);
     26 };
     27 
     28 
     29 
     30 
     31 void test1(int n, int* p) { *(n ? p : (void *)(7-7)) = 1; }
     32 void test2(int n, int* p) { *(n ? p : (void *)0) = 1; }
     33 
     34 
     35 
     36 char array[1024/(sizeof (long))];
     37 
     38 int x['\xBb' == (char) 187 ? 1: -1];
     39 
     40 // PR1992
     41 void func(int x)
     42 {
     43   switch (x) {
     44     case sizeof("abc"): break;
     45     case sizeof("loooong"): func(4);
     46     case sizeof("\ploooong"): func(4);
     47   }
     48 }
     49 
     50 
     51 // rdar://4213768
     52 int expr;
     53 char y[__builtin_constant_p(expr) ? -1 : 1];
     54 char z[__builtin_constant_p(4) ? 1 : -1];
     55 
     56 // Comma tests
     57 int comma1[0?1,2:3];
     58 int comma2[1||(1,2)]; // expected-warning {{use of logical '||' with constant operand}} \
     59                       // expected-note {{use '|' for a bitwise operation}}
     60 int comma3[(1,2)]; // expected-warning {{size of static array must be an integer constant expression}}
     61 
     62 // Pointer + __builtin_constant_p
     63 char pbcp[__builtin_constant_p(4) ? (intptr_t)&expr : 0]; // expected-error {{variable length array declaration not allowed at file scope}}
     64 
     65 int illegaldiv1a[1 || 1/0];
     66 int illegaldiv1b[1 && 1/0];  //expected-error{{variable length array declaration not allowed at file scope}}
     67 
     68 int illegaldiv2[1/0]; // expected-error {{variable length array declaration not allowed at file scope}}
     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-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 
     77 int *PR14729 = 0 ?: 1/0; // expected-error {{not a compile-time constant}} expected-warning 3{{}}
     78