Steve Naroff | b6d54e5 | 2008-01-08 01:11:38 +0000 | [diff] [blame] | 1 | // RUN: clang -fsyntax-only -verify -pedantic %s |
| 2 | void foo() { |
| 3 | *(0 ? (double *)0 : (void *)0) = 0; |
Steve Naroff | aaffbf7 | 2008-01-14 02:53:34 +0000 | [diff] [blame^] | 4 | *(0 ? (double *)0 : (void *)(int *)0) = 0; |
| 5 | *(0 ? (double *)0 : (void *)(double *)0) = 0; |
| 6 | *(0 ? (double *)0 : (int *)(void *)0) = 0; // expected-warning {{pointer type mismatch ('double *' and 'int *')}} |
| 7 | *(0 ? (double *)0 : (double *)(void *)0) = 0; |
| 8 | *((void *) 0) = 0; // expected-error {{incomplete type 'void' is not assignable}} |
Steve Naroff | b6d54e5 | 2008-01-08 01:11:38 +0000 | [diff] [blame] | 9 | double *dp; |
| 10 | int *ip; |
| 11 | void *vp; |
| 12 | |
| 13 | dp = vp; |
| 14 | vp = dp; |
Steve Naroff | aaffbf7 | 2008-01-14 02:53:34 +0000 | [diff] [blame^] | 15 | ip = dp; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}} |
| 16 | dp = ip; // expected-warning {{incompatible pointer types assigning 'int *', expected 'double *'}} |
Steve Naroff | b6d54e5 | 2008-01-08 01:11:38 +0000 | [diff] [blame] | 17 | dp = 0 ? (double *)0 : (void *)0; |
| 18 | vp = 0 ? (double *)0 : (void *)0; |
Steve Naroff | aaffbf7 | 2008-01-14 02:53:34 +0000 | [diff] [blame^] | 19 | ip = 0 ? (double *)0 : (void *)0; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}} |
Steve Naroff | b6d54e5 | 2008-01-08 01:11:38 +0000 | [diff] [blame] | 20 | } |
| 21 | |