exprs.c revision d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7
10a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only 20a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 30a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// PR1966 40a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath_Complex double test1() { 50a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath return __extension__ 1.0if; 60a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 70a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 80a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath_Complex double test2() { 90a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath return 1.0if; // expected-warning {{imaginary constants are an extension}} 100a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 110a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 120a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// rdar://6097308 130a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test3() { 140a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath int x; 150a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath (__extension__ x) = 10; 160a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 170a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 180a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// rdar://6162726 190a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test4() { 200a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath static int var; 210a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath var =+ 5; // expected-warning {{use of unary operator that may be intended as compound assignment (+=)}} 220a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath var =- 5; // expected-warning {{use of unary operator that may be intended as compound assignment (-=)}} 230a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath var = +5; // no warning when space between the = and +. 240a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath var = -5; 250a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 260a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath var =+5; // no warning when the subexpr of the unary op has no space before it. 270a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath var =-5; 280a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 290a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath#define FIVE 5 300a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath var=-FIVE; // no warning with macros. 310a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath var=-FIVE; 320a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 330a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 340a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// rdar://6319320 350a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test5(int *X, float *P) { 360a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath (float*)X = P; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}} 370a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath#define FOO ((float*) X) 380a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath FOO = P; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}} 390a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 400a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 410a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test6() { 420a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath int X; 430a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath X(); // expected-error {{called object type 'int' is not a function or function pointer}} 440a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 450a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 460a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test7(int *P, _Complex float Gamma) { 470a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath P = (P-42) + Gamma*4; // expected-error {{invalid operands to binary expression ('int *' and '_Complex float')}} 480a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 490a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 500a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 510a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// rdar://6095061 520a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathint test8(void) { 530a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath int i; 540a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath __builtin_choose_expr (0, 42, i) = 10; 550a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath return i; 560a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 570a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 580a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 590a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// PR3386 600a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathstruct f { int x : 4; float y[]; }; 610a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathint test9(struct f *P) { 620a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath int R; 630a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath R = __alignof(P->x); // expected-error {{invalid application of '__alignof' to bit-field}} 640a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath R = __alignof(P->y); // ok. 650a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath R = sizeof(P->x); // expected-error {{invalid application of 'sizeof' to bit-field}} 660a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath return R; 670a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 680a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 690a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// PR3562 700a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test10(int n,...) { 710a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath struct S { 720a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath double a[n]; // expected-error {{fields must have a constant size}} 730a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath } s; 740a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath double x = s.a[0]; // should not get another error here. 750a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 760a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 770a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 780a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath#define MYMAX(A,B) __extension__ ({ __typeof__(A) __a = (A); __typeof__(B) __b = (B); __a < __b ? __b : __a; }) 790a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 800a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathstruct mystruct {int A; }; 810a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test11(struct mystruct P, float F) { 820a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath MYMAX(P, F); // expected-error {{invalid operands to binary expression ('typeof (P)' (aka 'struct mystruct') and 'typeof (F)' (aka 'float'))}} 830a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 840a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 850a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// PR3753 860a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathint test12(const char *X) { 870a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath return X == "foo"; // expected-warning {{comparison against a string literal is unspecified}} 880a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 890a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 900a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathint test12b(const char *X) { 910a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath return sizeof(X == "foo"); // no-warning 920a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 930a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 940a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// rdar://6719156 950a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test13( 960a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath void (^P)()) { // expected-error {{blocks support disabled - compile with -fblocks}} 970a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath P(); 980a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath P = ^(){}; // expected-error {{blocks support disabled - compile with -fblocks}} 990a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 1000a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1010a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test14() { 1020a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath typedef long long __m64 __attribute__((__vector_size__(8))); 1030a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath typedef short __v4hi __attribute__((__vector_size__(8))); 1040a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1050a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath // Ok. 1060a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath __v4hi a; 1070a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath __m64 mask = (__m64)((__v4hi)a > (__v4hi)a); 1080a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 1090a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1100a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1110a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// PR5242 1120a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathtypedef unsigned long *test15_t; 1130a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1140a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathtest15_t test15(void) { 1150a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath return (test15_t)0 + (test15_t)0; // expected-error {{invalid operands to binary expression ('test15_t' (aka 'unsigned long *') and 'test15_t')}} 1160a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 1170a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1180a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// rdar://7446395 1190a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test16(float x) { x == ((void*) 0); } // expected-error {{invalid operands to binary expression}} 1200a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1210a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath// PR6004 1220a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamathvoid test17(int x) { 1230a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath x = x / 0; // expected-warning {{division by zero is undefined}} 1240a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath x = x % 0; // expected-warning {{remainder by zero is undefined}} 1250a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath x /= 0; // expected-warning {{division by zero is undefined}} 1260a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath x %= 0; // expected-warning {{remainder by zero is undefined}} 1270a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1280a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath x = sizeof(x/0); // no warning. 1290a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath} 1300a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath 1310a58c5c2f73e5047b36f12b5f12b12d6f2a9f69dNarayan Kamath