exprs.c revision abc56c726178fc7c8a3f45185768426a6e9d584e
1a5728872c7702ddd09537c95bc3cbd20e1f2fb09Daniel Dunbar// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only 235080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner 335080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner// PR1966 435080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner_Complex double test1() { 535080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner return __extension__ 1.0if; 635080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner} 735080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner 835080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner_Complex double test2() { 935080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner return 1.0if; // expected-warning {{imaginary constants are an extension}} 1035080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner} 1135080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner 12baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner// rdar://6097308 13baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattnervoid test3() { 14baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner int x; 15baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner (__extension__ x) = 10; 16baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner} 17baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner 182c15647dce6de66f673cc64236913732d6289317Chris Lattner// rdar://6162726 192c15647dce6de66f673cc64236913732d6289317Chris Lattnervoid test4() { 202c15647dce6de66f673cc64236913732d6289317Chris Lattner static int var; 212c15647dce6de66f673cc64236913732d6289317Chris Lattner var =+ 5; // expected-warning {{use of unary operator that may be intended as compound assignment (+=)}} 222c15647dce6de66f673cc64236913732d6289317Chris Lattner var =- 5; // expected-warning {{use of unary operator that may be intended as compound assignment (-=)}} 23399bd1bc2b801ad85e4575e2401bb43919fcbee8Chris Lattner var = +5; // no warning when space between the = and +. 242c15647dce6de66f673cc64236913732d6289317Chris Lattner var = -5; 25399bd1bc2b801ad85e4575e2401bb43919fcbee8Chris Lattner 26399bd1bc2b801ad85e4575e2401bb43919fcbee8Chris Lattner var =+5; // no warning when the subexpr of the unary op has no space before it. 27399bd1bc2b801ad85e4575e2401bb43919fcbee8Chris Lattner var =-5; 283e87209798bcc3fe39254c1b700b0c8251623b98Chris Lattner 293e87209798bcc3fe39254c1b700b0c8251623b98Chris Lattner#define FIVE 5 303e87209798bcc3fe39254c1b700b0c8251623b98Chris Lattner var=-FIVE; // no warning with macros. 313e87209798bcc3fe39254c1b700b0c8251623b98Chris Lattner var=-FIVE; 322c15647dce6de66f673cc64236913732d6289317Chris Lattner} 332c15647dce6de66f673cc64236913732d6289317Chris Lattner 34ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattner// rdar://6319320 35ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattnervoid test5(int *X, float *P) { 36ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattner (float*)X = P; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}} 3744e35f7b2b5da1eb338639e46bf0b5522e75c5f3Daniel Dunbar#define FOO ((float*) X) 3844e35f7b2b5da1eb338639e46bf0b5522e75c5f3Daniel Dunbar FOO = P; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}} 39ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattner} 40ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattner 41b1b4d337fafe30823b581cbfaa1641f37541fffeChris Lattnervoid test6() { 42b1b4d337fafe30823b581cbfaa1641f37541fffeChris Lattner int X; 43b1b4d337fafe30823b581cbfaa1641f37541fffeChris Lattner X(); // expected-error {{called object type 'int' is not a function or function pointer}} 44b1b4d337fafe30823b581cbfaa1641f37541fffeChris Lattner} 457ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattner 467ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattnervoid test7(int *P, _Complex float Gamma) { 477ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattner P = (P-42) + Gamma*4; // expected-error {{invalid operands to binary expression ('int *' and '_Complex float')}} 487ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattner} 497ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattner 50670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner 51670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner// rdar://6095061 52670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattnerint test8(void) { 53670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner int i; 54eb32fde032a250091134db56a3aeaea6b09f6594Eli Friedman __builtin_choose_expr (0, 42, i) = 10; 55670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner return i; 56670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner} 5731e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner 5831e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner 5931e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner// PR3386 6031e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattnerstruct f { int x : 4; float y[]; }; 6131e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattnerint test9(struct f *P) { 62da0274725667d1168867dc404417f2c68c8dc0c5Chris Lattner int R; 6331fddcca28ffb7a569ee8f5d565a856827d92adaAnders Carlsson R = __alignof(P->x); // expected-error {{invalid application of '__alignof' to bit-field}} 64eb32fde032a250091134db56a3aeaea6b09f6594Eli Friedman R = __alignof(P->y); // ok. 6531fddcca28ffb7a569ee8f5d565a856827d92adaAnders Carlsson R = sizeof(P->x); // expected-error {{invalid application of 'sizeof' to bit-field}} 66da0274725667d1168867dc404417f2c68c8dc0c5Chris Lattner return R; 6731e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner} 6831e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner 6956cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner// PR3562 7056cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattnervoid test10(int n,...) { 7156cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner struct S { 7256cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner double a[n]; // expected-error {{fields must have a constant size}} 7356cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner } s; 7456cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner double x = s.a[0]; // should not get another error here. 7556cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner} 76d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner 77d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner 78d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner#define MYMAX(A,B) __extension__ ({ __typeof__(A) __a = (A); __typeof__(B) __b = (B); __a < __b ? __b : __a; }) 79d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner 80d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattnerstruct mystruct {int A; }; 8155660a74897bf42111a8ae61c1f617645e5a9274Chris Lattnervoid test11(struct mystruct P, float F) { 826409625011e4a11ff07956ff46a44d6ca4473992Argyrios Kyrtzidis MYMAX(P, F); // expected-error {{invalid operands to binary expression ('typeof (P)' (aka 'struct mystruct') and 'typeof (F)' (aka 'float'))}} 83d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner} 84d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner 8555660a74897bf42111a8ae61c1f617645e5a9274Chris Lattner// PR3753 8655660a74897bf42111a8ae61c1f617645e5a9274Chris Lattnerint test12(const char *X) { 8703a4bee558b63ead66e942c6b26381df9a8b1754Ted Kremenek return X == "foo"; // expected-warning {{comparison against a string literal is unspecified (use strncmp instead)}} 8855660a74897bf42111a8ae61c1f617645e5a9274Chris Lattner} 8955660a74897bf42111a8ae61c1f617645e5a9274Chris Lattner 90d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7Douglas Gregorint test12b(const char *X) { 91d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7Douglas Gregor return sizeof(X == "foo"); // no-warning 92d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7Douglas Gregor} 93d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7Douglas Gregor 949af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner// rdar://6719156 959af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattnervoid test13( 969af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner void (^P)()) { // expected-error {{blocks support disabled - compile with -fblocks}} 979af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner P(); 989af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner P = ^(){}; // expected-error {{blocks support disabled - compile with -fblocks}} 999af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner} 100d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner 101d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattnervoid test14() { 102eb32fde032a250091134db56a3aeaea6b09f6594Eli Friedman typedef long long __m64 __attribute__((__vector_size__(8))); 103eb32fde032a250091134db56a3aeaea6b09f6594Eli Friedman typedef short __v4hi __attribute__((__vector_size__(8))); 104d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner 1059c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner // Ok. 106d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner __v4hi a; 1079c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner __m64 mask = (__m64)((__v4hi)a > (__v4hi)a); 108d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner} 109d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner 1100a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner 1110a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner// PR5242 1120a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattnertypedef unsigned long *test15_t; 1130a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner 1140a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattnertest15_t test15(void) { 1150a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner return (test15_t)0 + (test15_t)0; // expected-error {{invalid operands to binary expression ('test15_t' (aka 'unsigned long *') and 'test15_t')}} 1160a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner} 1170a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner 11802dd4b1e279114cc51422fab8b42a7759421800eChris Lattner// rdar://7446395 11902dd4b1e279114cc51422fab8b42a7759421800eChris Lattnervoid test16(float x) { x == ((void*) 0); } // expected-error {{invalid operands to binary expression}} 1200a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner 1217ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner// PR6004 1227ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattnervoid test17(int x) { 1237ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner x = x / 0; // expected-warning {{division by zero is undefined}} 1247ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner x = x % 0; // expected-warning {{remainder by zero is undefined}} 1257ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner x /= 0; // expected-warning {{division by zero is undefined}} 1267ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner x %= 0; // expected-warning {{remainder by zero is undefined}} 127cb329c506d0e041b9523618158ac925d620c24acChris Lattner 128cb329c506d0e041b9523618158ac925d620c24acChris Lattner x = sizeof(x/0); // no warning. 1297ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner} 1307ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner 131c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christopher// PR6501 132c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christophervoid test18_a(int a); 133c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christophervoid test18(int b) { 134c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christopher test18_a(b, b); // expected-error {{too many arguments to function call, expected 1, have 2}} 135c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christopher test18_a(); // expected-error {{too few arguments to function call, expected 1, have 0}} 136c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christopher} 1378b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner 1388b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner// PR7569 1398b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattnervoid test19() { 1408b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner *(int*)0 = 0; // expected-warning {{indirection of non-volatile null pointer}} \ 1418b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner // expected-note {{consider using __builtin_trap}} 1428b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner *(volatile int*)0 = 0; // Ok. 1438b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner} 1448b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner 14590a8f27f144233b53cac0c88a1595f7f05105b7eChris Lattnerint test20(int x) { 14690a8f27f144233b53cac0c88a1595f7f05105b7eChris Lattner return x && 4; // expected-warning {{use of logical && with constant operand; switch to bitwise & or remove constant}} 14723ef3e4f044d701d0f84980fd9816fedf17fc0cbChris Lattner 148b7690b425845b636849f25074d64d30aad646473Chris Lattner return x && sizeof(int) == 4; // no warning, RHS is logical op. 149b7690b425845b636849f25074d64d30aad646473Chris Lattner 150b7690b425845b636849f25074d64d30aad646473Chris Lattner // no warning, this is an idiom for "true" in old C style. 151b7690b425845b636849f25074d64d30aad646473Chris Lattner return x && (signed char)1; 15290a8f27f144233b53cac0c88a1595f7f05105b7eChris Lattner} 153cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall 154cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCallstruct Test21; // expected-note 2 {{forward declaration}} 155cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCallvoid test21(volatile struct Test21 *ptr) { 156cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall void test21_help(void); 157cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall (test21_help(), *ptr); // expected-error {{incomplete type 'struct Test21' where a complete type is required}} 158cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall (*ptr, test21_help()); // expected-error {{incomplete type 'struct Test21' where a complete type is required}} 159cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall} 160abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall 161abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall// Make sure we do function/array decay. 162abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCallvoid test22() { 163abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall if ("help") 164abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall (void) 0; 165abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall 166abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall if (test22) 167abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall (void) 0; 168abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall} 169