Home | History | Annotate | Download | only in Sema
      1 // RUN: %clang_cc1 -fsyntax-only -verify -triple i686-linux %s
      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/11205586>
    122 // (Make sure we continue to reject this.)
    123 EVAL_EXPR(44, "x"[0]); // expected-error {{variable length array}}
    124 
    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}}
    131 
    132 extern struct Test50S Test50;
    133 EVAL_EXPR(50, &Test50 < (struct Test50S*)((unsigned)&Test50 + 10)) // expected-error {{must have a constant size}}
    134 
    135 // <rdar://problem/11874571>
    136 EVAL_EXPR(51, 0 != (float)1e99)
    137