| // RUN: clang-cc -fsyntax-only -verify -pedantic %s |
| void foo() { |
| *(0 ? (double *)0 : (void *)0) = 0; |
| // FIXME: GCC doesn't consider the the following two statements to be errors. |
| *(0 ? (double *)0 : (void *)(int *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}} |
| *(0 ? (double *)0 : (void *)(double *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}} |
| *(0 ? (double *)0 : (int *)(void *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}} expected-warning {{pointer type mismatch ('double *' and 'int *')}} |
| *(0 ? (double *)0 : (double *)(void *)0) = 0; |
| *((void *) 0) = 0; // expected-error {{incomplete type 'void' is not assignable}} |
| double *dp; |
| int *ip; |
| void *vp; |
| |
| dp = vp; |
| vp = dp; |
| ip = dp; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}} |
| dp = ip; // expected-warning {{incompatible pointer types assigning 'int *', expected 'double *'}} |
| dp = 0 ? (double *)0 : (void *)0; |
| vp = 0 ? (double *)0 : (void *)0; |
| ip = 0 ? (double *)0 : (void *)0; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}} |
| |
| const int *cip; |
| vp = (0 ? vp : cip); // expected-warning {{discards qualifiers}} |
| vp = (0 ? cip : vp); // expected-warning {{discards qualifiers}} |
| |
| int i = 2; |
| int (*pf)[2]; |
| int (*pv)[i]; |
| pf = (i ? pf : pv); |
| |
| enum {xxx,yyy,zzz} e, *ee; |
| short x; |
| ee = ee ? &x : ee ? &i : &e; // expected-warning {{pointer type mismatch}} |
| |
| typedef void *asdf; |
| *(0 ? (asdf) 0 : &x) = 10; |
| } |
| |
| int Postgresql() { |
| char x; |
| return ((((&x) != ((void *) 0)) ? (*(&x) = ((char) 1)) : (void) ((void *) 0)), (unsigned long) ((void *) 0)); // expected-warning {{C99 forbids conditional expressions with only one void side}} |
| } |
| |
| #define nil ((void*) 0) |
| |
| extern int f1(void); |
| |
| int f0(int a) { |
| // GCC considers this a warning. |
| return a ? f1() : nil; // expected-warning {{pointer/integer type mismatch in conditional expression ('int' and 'void *')}} expected-warning {{incompatible pointer to integer conversion returning 'void *', expected 'int'}} |
| } |