| Bill Wendling | 45c2eed | 2013-11-27 05:27:22 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -verify |
| 2 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame^] | 3 | #define SOME_ADDR (unsigned long long)0 |
| 4 | |
| Bill Wendling | 45c2eed | 2013-11-27 05:27:22 +0000 | [diff] [blame] | 5 | // PR10837: Warn if a non-pointer-typed expression is folded to a null pointer |
| 6 | int *p = 0; |
| 7 | int *q = '\0'; // expected-warning{{expression which evaluates to zero treated as a null pointer constant}} |
| 8 | int *r = (1 - 1); // expected-warning{{expression which evaluates to zero treated as a null pointer constant}} |
| 9 | void f() { |
| 10 | p = 0; |
| 11 | q = '\0'; // expected-warning{{expression which evaluates to zero treated as a null pointer constant}} |
| 12 | r = 1 - 1; // expected-warning{{expression which evaluates to zero treated as a null pointer constant}} |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame^] | 13 | p = SOME_ADDR; // expected-warning{{expression which evaluates to zero treated as a null pointer constant}} |
| Bill Wendling | 45c2eed | 2013-11-27 05:27:22 +0000 | [diff] [blame] | 14 | } |