1 // RUN: clang-cc -fsyntax-only -verify -pedantic %s
2 void foo() {
3   *(0 ? (double *)0 : (void *)0) = 0;
4   // FIXME: GCC doesn't consider the the following two statements to be errors.
5   *(0 ? (double *)0 : (void *)(int *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}}
6   *(0 ? (double *)0 : (void *)(double *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}}
7   *(0 ? (double *)0 : (int *)(void *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}} expected-warning {{pointer type mismatch ('double *' and 'int *')}}
8   *(0 ? (double *)0 : (double *)(void *)0) = 0;
9   *((void *) 0) = 0; // expected-error {{incomplete type 'void' is not assignable}}
10   double *dp;
11   int *ip;
12   void *vp;
13 
14   dp = vp;
15   vp = dp;
16   ip = dp; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}}
17   dp = ip; // expected-warning {{incompatible pointer types assigning 'int *', expected 'double *'}}
18   dp = 0 ? (double *)0 : (void *)0;
19   vp = 0 ? (double *)0 : (void *)0;
20   ip = 0 ? (double *)0 : (void *)0; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}}
21 
22   const int *cip;
23   vp = (0 ? vp : cip); // expected-warning {{discards qualifiers}}
24   vp = (0 ? cip : vp); // expected-warning {{discards qualifiers}}
25 
26   int i = 2;
27   int (*pf)[2];
28   int (*pv)[i];
29   pf = (i ? pf : pv);
30 
31   enum {xxx,yyy,zzz} e, *ee;
32   short x;
33   ee = ee ? &x : ee ? &i : &e; // expected-warning {{pointer type mismatch}}
34 
35   typedef void *asdf;
36   *(0 ? (asdf) 0 : &x) = 10;
37 }
38 
39 int Postgresql() {
40   char x;
41   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}}
42 }
43 
44 #define nil ((void*) 0)
45 
46 extern int f1(void);
47 
48 int f0(int a) {
49   // GCC considers this a warning.
50   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'}}
51 }
52