exprs.c revision 9b127f3b44e685cbe513595b7e0115b0884b0604
1a5728872c7702ddd09537c95bc3cbd20e1f2fb09Daniel Dunbar// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only 235080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner 3377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek// PR 8876 - don't warn about trivially unreachable null derefs. Note that 4377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek// we put this here because the reachability analysis only kicks in for 5377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek// suppressing false positives when code has no errors. 6377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek#define PR8876(err_ptr) do {\ 7377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek if (err_ptr) *(int*)(err_ptr) = 1;\ 8377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek } while (0) 9377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek 10377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek#define PR8876_pos(err_ptr) do {\ 11377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek if (!err_ptr) *(int*)(err_ptr) = 1;\ 12377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek } while (0) 13377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek 14377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek 15a8d459e8a68b1270b0c35fb73e8cc090b2b69e36Ted Kremenek// Test that we don't report divide-by-zero errors in unreachable code. 16a8d459e8a68b1270b0c35fb73e8cc090b2b69e36Ted Kremenek// This test should be left as is, as it also tests CFG functionality. 17a8d459e8a68b1270b0c35fb73e8cc090b2b69e36Ted Kremenekvoid radar9171946() { 18a8d459e8a68b1270b0c35fb73e8cc090b2b69e36Ted Kremenek if (0) { 19a8d459e8a68b1270b0c35fb73e8cc090b2b69e36Ted Kremenek 0 / (0 ? 1 : 0); // expected-warning {{expression result unused}} 20a8d459e8a68b1270b0c35fb73e8cc090b2b69e36Ted Kremenek } 21a8d459e8a68b1270b0c35fb73e8cc090b2b69e36Ted Kremenek} 22a8d459e8a68b1270b0c35fb73e8cc090b2b69e36Ted Kremenek 23377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenekint test_pr8876() { 24377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek PR8876(0); // no-warning 25377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek PR8876_pos(0); // expected-warning{{indirection of non-volatile null pointer will be deleted, not trap}} expected-note{{consider using __builtin_trap() or qualifying pointer with 'volatile'}} 26377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek return 0; 27377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek} 28377e215da11e0208f5c8eedf35f507f972559fe6Ted Kremenek 29c56c004e0b8030e8ca8614e7febe581221938b75Ted Kremenek// PR 8183 - Handle null pointer constants on the left-side of the '&&', and reason about 30c56c004e0b8030e8ca8614e7febe581221938b75Ted Kremenek// this when determining the reachability of the null pointer dereference on the right side. 31c56c004e0b8030e8ca8614e7febe581221938b75Ted Kremenekvoid pr8183(unsigned long long test) 32c56c004e0b8030e8ca8614e7febe581221938b75Ted Kremenek{ 33c56c004e0b8030e8ca8614e7febe581221938b75Ted Kremenek (void)((((void*)0)) && (*((unsigned long long*)(((void*)0))) = ((unsigned long long)((test)) % (unsigned long long)((1000000000))))); // no-warning 34c56c004e0b8030e8ca8614e7febe581221938b75Ted Kremenek (*((unsigned long long*)(((void*)0))) = ((unsigned long long)((test)) % (unsigned long long)((1000000000)))); // expected-warning {{indirection of non-volatile null pointer will be deleted, not trap}} expected-note {{consider using __builtin_trap() or qualifying pointer with 'volatile'}} 35c56c004e0b8030e8ca8614e7febe581221938b75Ted Kremenek} 36c56c004e0b8030e8ca8614e7febe581221938b75Ted Kremenek 3735080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner// PR1966 3835080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner_Complex double test1() { 3935080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner return __extension__ 1.0if; 4035080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner} 4135080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner 4235080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner_Complex double test2() { 4335080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner return 1.0if; // expected-warning {{imaginary constants are an extension}} 4435080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner} 4535080844d3e634c7c1b2875f476ab5f697eece61Chris Lattner 46baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner// rdar://6097308 47baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattnervoid test3() { 48baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner int x; 49baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner (__extension__ x) = 10; 50baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner} 51baf0d6678418e0dd9309438c3e50274253cfc7b2Chris Lattner 522c15647dce6de66f673cc64236913732d6289317Chris Lattner// rdar://6162726 532c15647dce6de66f673cc64236913732d6289317Chris Lattnervoid test4() { 542c15647dce6de66f673cc64236913732d6289317Chris Lattner static int var; 552c15647dce6de66f673cc64236913732d6289317Chris Lattner var =+ 5; // expected-warning {{use of unary operator that may be intended as compound assignment (+=)}} 562c15647dce6de66f673cc64236913732d6289317Chris Lattner var =- 5; // expected-warning {{use of unary operator that may be intended as compound assignment (-=)}} 57399bd1bc2b801ad85e4575e2401bb43919fcbee8Chris Lattner var = +5; // no warning when space between the = and +. 582c15647dce6de66f673cc64236913732d6289317Chris Lattner var = -5; 59399bd1bc2b801ad85e4575e2401bb43919fcbee8Chris Lattner 60399bd1bc2b801ad85e4575e2401bb43919fcbee8Chris Lattner var =+5; // no warning when the subexpr of the unary op has no space before it. 61399bd1bc2b801ad85e4575e2401bb43919fcbee8Chris Lattner var =-5; 623e87209798bcc3fe39254c1b700b0c8251623b98Chris Lattner 633e87209798bcc3fe39254c1b700b0c8251623b98Chris Lattner#define FIVE 5 643e87209798bcc3fe39254c1b700b0c8251623b98Chris Lattner var=-FIVE; // no warning with macros. 653e87209798bcc3fe39254c1b700b0c8251623b98Chris Lattner var=-FIVE; 662c15647dce6de66f673cc64236913732d6289317Chris Lattner} 672c15647dce6de66f673cc64236913732d6289317Chris Lattner 68ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattner// rdar://6319320 69ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattnervoid test5(int *X, float *P) { 70ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattner (float*)X = P; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}} 7144e35f7b2b5da1eb338639e46bf0b5522e75c5f3Daniel Dunbar#define FOO ((float*) X) 7244e35f7b2b5da1eb338639e46bf0b5522e75c5f3Daniel Dunbar FOO = P; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}} 73ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattner} 74ca354faa7e9b99af17070c82b9662a5fca76422cChris Lattner 75b1b4d337fafe30823b581cbfaa1641f37541fffeChris Lattnervoid test6() { 76b1b4d337fafe30823b581cbfaa1641f37541fffeChris Lattner int X; 77b1b4d337fafe30823b581cbfaa1641f37541fffeChris Lattner X(); // expected-error {{called object type 'int' is not a function or function pointer}} 78b1b4d337fafe30823b581cbfaa1641f37541fffeChris Lattner} 797ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattner 807ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattnervoid test7(int *P, _Complex float Gamma) { 817ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattner P = (P-42) + Gamma*4; // expected-error {{invalid operands to binary expression ('int *' and '_Complex float')}} 827ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattner} 837ca14257731eedb4cd16104cc20a6813d2deb0dbChris Lattner 84670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner 85670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner// rdar://6095061 86670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattnerint test8(void) { 87670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner int i; 88eb32fde032a250091134db56a3aeaea6b09f6594Eli Friedman __builtin_choose_expr (0, 42, i) = 10; 89670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner return i; 90670a62cd1d51042ea076cda5e93f26a1d8327fb3Chris Lattner} 9131e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner 9231e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner 9331e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner// PR3386 9431e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattnerstruct f { int x : 4; float y[]; }; 9531e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattnerint test9(struct f *P) { 96da0274725667d1168867dc404417f2c68c8dc0c5Chris Lattner int R; 9731fddcca28ffb7a569ee8f5d565a856827d92adaAnders Carlsson R = __alignof(P->x); // expected-error {{invalid application of '__alignof' to bit-field}} 98eb32fde032a250091134db56a3aeaea6b09f6594Eli Friedman R = __alignof(P->y); // ok. 9931fddcca28ffb7a569ee8f5d565a856827d92adaAnders Carlsson R = sizeof(P->x); // expected-error {{invalid application of 'sizeof' to bit-field}} 100da0274725667d1168867dc404417f2c68c8dc0c5Chris Lattner return R; 10131e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner} 10231e21e05623ce9d11b1a893fecb87ad349df6c7dChris Lattner 10356cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner// PR3562 10456cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattnervoid test10(int n,...) { 10556cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner struct S { 10656cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner double a[n]; // expected-error {{fields must have a constant size}} 10756cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner } s; 10856cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner double x = s.a[0]; // should not get another error here. 10956cd21bd52aed7a32f3ff11b7e480f664d0b4262Chris Lattner} 110d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner 111d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner 112d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner#define MYMAX(A,B) __extension__ ({ __typeof__(A) __a = (A); __typeof__(B) __b = (B); __a < __b ? __b : __a; }) 113d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner 114d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattnerstruct mystruct {int A; }; 11555660a74897bf42111a8ae61c1f617645e5a9274Chris Lattnervoid test11(struct mystruct P, float F) { 1166409625011e4a11ff07956ff46a44d6ca4473992Argyrios Kyrtzidis MYMAX(P, F); // expected-error {{invalid operands to binary expression ('typeof (P)' (aka 'struct mystruct') and 'typeof (F)' (aka 'float'))}} 117d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner} 118d0344a4a6182ad704881cbbaa21cca14913d2296Chris Lattner 11955660a74897bf42111a8ae61c1f617645e5a9274Chris Lattner// PR3753 12055660a74897bf42111a8ae61c1f617645e5a9274Chris Lattnerint test12(const char *X) { 12103a4bee558b63ead66e942c6b26381df9a8b1754Ted Kremenek return X == "foo"; // expected-warning {{comparison against a string literal is unspecified (use strncmp instead)}} 12255660a74897bf42111a8ae61c1f617645e5a9274Chris Lattner} 12355660a74897bf42111a8ae61c1f617645e5a9274Chris Lattner 124d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7Douglas Gregorint test12b(const char *X) { 125d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7Douglas Gregor return sizeof(X == "foo"); // no-warning 126d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7Douglas Gregor} 127d1e4d9bfd57f643d950eb1373f582bda4dfb8dc7Douglas Gregor 1289af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner// rdar://6719156 1299af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattnervoid test13( 1309af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner void (^P)()) { // expected-error {{blocks support disabled - compile with -fblocks}} 1319af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner P(); 1329af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner P = ^(){}; // expected-error {{blocks support disabled - compile with -fblocks}} 1339af5500f3f132f9a2f9abbe82113a7c7bb751472Chris Lattner} 134d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner 135d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattnervoid test14() { 136eb32fde032a250091134db56a3aeaea6b09f6594Eli Friedman typedef long long __m64 __attribute__((__vector_size__(8))); 137eb32fde032a250091134db56a3aeaea6b09f6594Eli Friedman typedef short __v4hi __attribute__((__vector_size__(8))); 138d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner 1399c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner // Ok. 140d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner __v4hi a; 1419c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner __m64 mask = (__m64)((__v4hi)a > (__v4hi)a); 142d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner} 143d013aa1ee78d8ead93179c179b7c0746e8d97dbbChris Lattner 1440a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner 1450a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner// PR5242 1460a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattnertypedef unsigned long *test15_t; 1470a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner 1480a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattnertest15_t test15(void) { 1490a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner return (test15_t)0 + (test15_t)0; // expected-error {{invalid operands to binary expression ('test15_t' (aka 'unsigned long *') and 'test15_t')}} 1500a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner} 1510a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner 15202dd4b1e279114cc51422fab8b42a7759421800eChris Lattner// rdar://7446395 15302dd4b1e279114cc51422fab8b42a7759421800eChris Lattnervoid test16(float x) { x == ((void*) 0); } // expected-error {{invalid operands to binary expression}} 1540a026af6deb4a9e9f30ff047e04db56eb4333741Chris Lattner 1557ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner// PR6004 1567ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattnervoid test17(int x) { 1577ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner x = x / 0; // expected-warning {{division by zero is undefined}} 1587ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner x = x % 0; // expected-warning {{remainder by zero is undefined}} 1597ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner x /= 0; // expected-warning {{division by zero is undefined}} 1607ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner x %= 0; // expected-warning {{remainder by zero is undefined}} 161cb329c506d0e041b9523618158ac925d620c24acChris Lattner 162cb329c506d0e041b9523618158ac925d620c24acChris Lattner x = sizeof(x/0); // no warning. 1637ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner} 1647ef655a78863c0a7550bfe51174b9c340ab1dce0Chris Lattner 165c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christopher// PR6501 1669aab1489866a5afe1a8a3267f9ad7124034fd644Peter Collingbournevoid test18_a(int a); // expected-note 2 {{'test18_a' declared here}} 167c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christophervoid test18(int b) { 168c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christopher test18_a(b, b); // expected-error {{too many arguments to function call, expected 1, have 2}} 169c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christopher test18_a(); // expected-error {{too few arguments to function call, expected 1, have 0}} 170c5e869b7949d162ee93c6200c0100a27544bdaa3Eric Christopher} 1718b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner 1728b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner// PR7569 1738b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattnervoid test19() { 1748b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner *(int*)0 = 0; // expected-warning {{indirection of non-volatile null pointer}} \ 1758b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner // expected-note {{consider using __builtin_trap}} 1768b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner *(volatile int*)0 = 0; // Ok. 1778a285ae6fc4926cc4e419025eec63e2d6696e13fArgyrios Kyrtzidis 1788a285ae6fc4926cc4e419025eec63e2d6696e13fArgyrios Kyrtzidis // rdar://9269271 1798a285ae6fc4926cc4e419025eec63e2d6696e13fArgyrios Kyrtzidis int x = *(int*)0; // expected-warning {{indirection of non-volatile null pointer}} \ 1808a285ae6fc4926cc4e419025eec63e2d6696e13fArgyrios Kyrtzidis // expected-note {{consider using __builtin_trap}} 1818a285ae6fc4926cc4e419025eec63e2d6696e13fArgyrios Kyrtzidis int x2 = *(volatile int*)0; // Ok. 1828a285ae6fc4926cc4e419025eec63e2d6696e13fArgyrios Kyrtzidis int *p = &(*(int*)0); // Ok; 1838b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner} 1848b5dec3002bd3e17061a8bf1fc35ba82912ec768Chris Lattner 18590a8f27f144233b53cac0c88a1595f7f05105b7eChris Lattnerint test20(int x) { 1869b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x && 4; // expected-warning {{use of logical '&&' with constant operand}} \ 1879b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '&' for a bitwise operation}} \ 1889b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{remove constant to silence this warning}} 18923ef3e4f044d701d0f84980fd9816fedf17fc0cbChris Lattner 190b7690b425845b636849f25074d64d30aad646473Chris Lattner return x && sizeof(int) == 4; // no warning, RHS is logical op. 191b7690b425845b636849f25074d64d30aad646473Chris Lattner 192b7690b425845b636849f25074d64d30aad646473Chris Lattner // no warning, this is an idiom for "true" in old C style. 193b7690b425845b636849f25074d64d30aad646473Chris Lattner return x && (signed char)1; 1940683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth 1950683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth return x || 0; 1960683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth return x || 1; 1979b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x || -1; // expected-warning {{use of logical '||' with constant operand}} \ 1989b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '|' for a bitwise operation}} 1999b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x || 5; // expected-warning {{use of logical '||' with constant operand}} \ 2009b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '|' for a bitwise operation}} 2010683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth return x && 0; 2020683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth return x && 1; 2039b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x && -1; // expected-warning {{use of logical '&&' with constant operand}} \ 2049b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '&' for a bitwise operation}} \ 2059b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{remove constant to silence this warning}} 2069b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x && 5; // expected-warning {{use of logical '&&' with constant operand}} \ 2079b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '&' for a bitwise operation}} \ 2089b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{remove constant to silence this warning}} 2090683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth return x || (0); 2100683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth return x || (1); 2119b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x || (-1); // expected-warning {{use of logical '||' with constant operand}} \ 2129b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '|' for a bitwise operation}} 2139b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x || (5); // expected-warning {{use of logical '||' with constant operand}} \ 2149b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '|' for a bitwise operation}} 2150683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth return x && (0); 2160683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth return x && (1); 2179b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x && (-1); // expected-warning {{use of logical '&&' with constant operand}} \ 2189b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '&' for a bitwise operation}} \ 2199b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{remove constant to silence this warning}} 2209b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay return x && (5); // expected-warning {{use of logical '&&' with constant operand}} \ 2219b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{use '&' for a bitwise operation}} \ 2229b127f3b44e685cbe513595b7e0115b0884b0604Matt Beaumont-Gay // expected-note {{remove constant to silence this warning}} 2230683a1418b28b289eca4cb602ac69780f9e0a609Chandler Carruth 22490a8f27f144233b53cac0c88a1595f7f05105b7eChris Lattner} 225cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall 226cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCallstruct Test21; // expected-note 2 {{forward declaration}} 227cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCallvoid test21(volatile struct Test21 *ptr) { 228cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall void test21_help(void); 229cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall (test21_help(), *ptr); // expected-error {{incomplete type 'struct Test21' where a complete type is required}} 230cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall (*ptr, test21_help()); // expected-error {{incomplete type 'struct Test21' where a complete type is required}} 231cf2e5063ae7e7ed3f8d86bb426b2208e242128abJohn McCall} 232abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall 233abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall// Make sure we do function/array decay. 234abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCallvoid test22() { 235abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall if ("help") 236abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall (void) 0; 237abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall 238abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall if (test22) 239abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall (void) 0; 240abc56c726178fc7c8a3f45185768426a6e9d584eJohn McCall} 241