Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -fsyntax-only -pedantic -verify %s |
Chris Lattner | d28f815 | 2007-08-26 01:10:14 +0000 | [diff] [blame] | 2 | |
Douglas Gregor | f933437 | 2009-07-06 20:14:23 +0000 | [diff] [blame^] | 3 | #include <stddef.h> |
| 4 | |
Chris Lattner | d28f815 | 2007-08-26 01:10:14 +0000 | [diff] [blame] | 5 | int test(char *C) { // nothing here should warn. |
| 6 | return C != ((void*)0); |
| 7 | return C != (void*)0; |
| 8 | return C != 0; |
| 9 | } |
| 10 | |
Steve Naroff | 77878cc | 2007-08-27 04:08:11 +0000 | [diff] [blame] | 11 | int equal(char *a, const char *b) |
| 12 | { |
| 13 | return a == b; |
| 14 | } |
Eli Friedman | 4e92acf | 2008-02-06 04:53:22 +0000 | [diff] [blame] | 15 | |
| 16 | int arrays(char (*a)[5], char(*b)[10], char(*c)[5]) { |
| 17 | int d = (a == c); |
| 18 | return a == b; // expected-warning {{comparison of distinct pointer types}} |
| 19 | } |
Chris Lattner | 149f138 | 2009-06-30 06:24:05 +0000 | [diff] [blame] | 20 | |
| 21 | int pointers(int *a) |
| 22 | { |
| 23 | return a > 0; // expected-warning {{ordered comparison between pointer and integer}} |
| 24 | return a > (void *)0; // expected-warning {{comparison of distinct pointer types}} |
| 25 | } |
| 26 | |
| 27 | int function_pointers(int (*a)(int), int (*b)(int)) |
| 28 | { |
| 29 | return a > b; // expected-warning {{ordered comparison of function pointers}} |
| 30 | return function_pointers > function_pointers; // expected-warning {{ordered comparison of function pointers}} |
| 31 | return a == (void *) 0; |
| 32 | return a == (void *) 1; // expected-warning {{comparison of distinct pointer types}} |
| 33 | } |
Douglas Gregor | f933437 | 2009-07-06 20:14:23 +0000 | [diff] [blame^] | 34 | |
| 35 | int void_pointers(void *foo) |
| 36 | { |
| 37 | return foo == NULL; |
| 38 | } |