1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95
|
// RUN: %clang_cc1 -triple x86_64-apple-darwin -fsyntax-only -verify %s
// rdar://18716393
extern int a[] __attribute__((weak));
int b[] = {8,13,21};
struct {
int x[10];
} c;
const char str[] = "text";
void ignore() {
if (!a) {}
}
void test() {
if (!b) {} // expected-warning {{address of array 'b' will always evaluate to 'true'}}
if (b == 0) {} // expected-warning {{comparison of array 'b' equal to a null pointer is always false}}
if (!c.x) {} // expected-warning {{address of array 'c.x' will always evaluate to 'true'}}
if (c.x == 0) {} // expected-warning {{comparison of array 'c.x' equal to a null pointer is always false}}
if (!str) {} // expected-warning {{address of array 'str' will always evaluate to 'true'}}
if (0 == str) {} // expected-warning {{comparison of array 'str' equal to a null pointer is always false}}
}
int array[2];
int test1()
{
if (!array) { // expected-warning {{address of array 'array' will always evaluate to 'true'}}
return array[0];
} else if (array != 0) { // expected-warning {{comparison of array 'array' not equal to a null pointer is always true}}
return array[1];
}
if (array == 0) // expected-warning {{comparison of array 'array' equal to a null pointer is always false}}
return 1;
return 0;
}
#define NULL (void*)0
int test2(int* pointer, char ch, void * pv) {
if (!&pointer) { // expected-warning {{address of 'pointer' will always evaluate to 'true'}}
return 0;
}
if (&pointer) { // expected-warning {{address of 'pointer' will always evaluate to 'true'}}
return 0;
}
if (&pointer == NULL) {} // expected-warning {{comparison of address of 'pointer' equal to a null pointer is always false}}
if (&pointer != NULL) {} // expected-warning {{comparison of address of 'pointer' not equal to a null pointer is always true}}
return 1;
}
void test3() {
if (array) { } // expected-warning {{address of array 'array' will always evaluate to 'true'}}
if (array != 0) {} // expected-warning {{comparison of array 'array' not equal to a null pointer is always true}}
if (!array) { } // expected-warning {{address of array 'array' will always evaluate to 'true'}}
if (array == 0) {} // expected-warning {{comparison of array 'array' equal to a null pointer is always false}}
if (array[0] &&
array) {} // expected-warning {{address of array 'array' will always evaluate to 'true'}}
if (array[0] ||
array) {} // expected-warning {{address of array 'array' will always evaluate to 'true'}}
if (array[0] &&
!array) {} // expected-warning {{address of array 'array' will always evaluate to 'true'}}
if (array[0] ||
!array) {} // expected-warning {{address of array 'array' will always evaluate to 'true'}}
if (array && // expected-warning {{address of array 'array' will always evaluate to 'true'}}
array[0]) {}
if (!array || // expected-warning {{address of array 'array' will always evaluate to 'true'}}
array[0]) {}
if (array || // expected-warning {{address of array 'array' will always evaluate to 'true'}}
(!array && array[0])) {} // expected-warning {{address of array 'array' will always evaluate to 'true'}}
}
// rdar://19256338
#define SAVE_READ(PTR) if( (PTR) && (&result) ) *result=*PTR;
void _HTTPClientErrorHandler(int me)
{
int *result;
SAVE_READ(&me);
}
void test_conditional_operator() {
int x;
x = b ? 1 : 0; // expected-warning {{address of array}}
x = c.x ? 1 : 0; // expected-warning {{address of array}}
x = str ? 1 : 0; // expected-warning {{address of array}}
x = array ? 1 : 0; // expected-warning {{address of array}}
x = &x ? 1 : 0; // expected-warning {{address of 'x'}}
}
|