1 // RUN: %clang_cc1 -fsyntax-only -verify -pedantic -Wsign-conversion %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 to 'int *' from 'double *'}} 17 dp = ip; // expected-warning {{incompatible pointer types assigning to 'double *' from 'int *'}} 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 to 'int *' from 'double *'}} 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 unsigned long test0 = 5; 39 test0 = test0 ? (long) test0 : test0; // expected-warning {{operand of ? changes signedness: 'long' to 'unsigned long'}} 40 test0 = test0 ? (int) test0 : test0; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}} 41 test0 = test0 ? (short) test0 : test0; // expected-warning {{operand of ? changes signedness: 'short' to 'unsigned long'}} 42 test0 = test0 ? test0 : (long) test0; // expected-warning {{operand of ? changes signedness: 'long' to 'unsigned long'}} 43 test0 = test0 ? test0 : (int) test0; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}} 44 test0 = test0 ? test0 : (short) test0; // expected-warning {{operand of ? changes signedness: 'short' to 'unsigned long'}} 45 test0 = test0 ? test0 : (long) 10; 46 test0 = test0 ? test0 : (int) 10; 47 test0 = test0 ? test0 : (short) 10; 48 test0 = test0 ? (long) 10 : test0; 49 test0 = test0 ? (int) 10 : test0; 50 test0 = test0 ? (short) 10 : test0; 51 52 int test1; 53 enum Enum { EVal }; 54 test0 = test0 ? EVal : test0; 55 test1 = test0 ? EVal : (int) test0; 56 test0 = test0 ? 57 (unsigned) EVal 58 : (int) test0; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}} 59 60 test0 = test0 ? EVal : test1; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}} 61 test0 = test0 ? test1 : EVal; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}} 62 63 } 64 65 int Postgresql() { 66 char x; 67 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}} 68 } 69 70 #define nil ((void*) 0) 71 72 extern int f1(void); 73 74 int f0(int a) { 75 // GCC considers this a warning. 76 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 *' from a function with result type 'int'}} 77 } 78 79 int f2(int x) { 80 // We can suppress this because the immediate context wants an int. 81 return (x != 0) ? 0U : x; 82 } 83 84 #define NULL (void*)0 85 86 void PR9236() { 87 struct A {int i;} A1; 88 (void)(1 ? A1 : NULL); // expected-error{{non-pointer operand type 'struct A' incompatible with NULL}} 89 (void)(1 ? NULL : A1); // expected-error{{non-pointer operand type 'struct A' incompatible with NULL}} 90 (void)(1 ? 0 : A1); // expected-error{{incompatible operand types}} 91 (void)(1 ? (void*)0 : A1); // expected-error{{incompatible operand types}} 92 (void)(1 ? A1: (void*)0); // expected-error{{incompatible operand types}} 93 (void)(1 ? A1 : (NULL)); // expected-error{{non-pointer operand type 'struct A' incompatible with NULL}} 94 } 95 96
