• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clang_cc1 -fsyntax-only -verify -pedantic -Wsign-conversion %s
foo()2 void foo() {
3   *(0 ? (double *)0 : (void *)0) = 0;
4   // FIXME: GCC doesn't consider 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   const int *const_int;
64   int *nonconst_int;
65   *(test0 ? const_int : nonconst_int) = 42; // expected-error {{read-only variable is not assignable}}
66   *(test0 ? nonconst_int : const_int) = 42; // expected-error {{read-only variable is not assignable}}
67 
68   // The composite type here should be "int (*)[12]", fine for the sizeof
69   int (*incomplete)[];
70   int (*complete)[12];
71   sizeof(*(test0 ? incomplete : complete)); // expected-warning {{expression result unused}}
72   sizeof(*(test0 ? complete : incomplete)); // expected-warning {{expression result unused}}
73 
74   int __attribute__((address_space(2))) *adr2;
75   int __attribute__((address_space(3))) *adr3;
76   test0 ? adr2 : adr3; // expected-warning {{pointer type mismatch}} expected-warning {{expression result unused}}
77 
78   // Make sure address-space mask ends up in the result type
79   (test0 ? (test0 ? adr2 : adr2) : nonconst_int); // expected-warning {{pointer type mismatch}} expected-warning {{expression result unused}}
80 }
81 
Postgresql()82 int Postgresql() {
83   char x;
84   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}}
85 }
86 
87 #define nil ((void*) 0)
88 
89 extern int f1(void);
90 
f0(int a)91 int f0(int a) {
92   // GCC considers this a warning.
93   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'}}
94 }
95 
f2(int x)96 int f2(int x) {
97   // We can suppress this because the immediate context wants an int.
98   return (x != 0) ? 0U : x;
99 }
100 
101 #define NULL (void*)0
102 
PR9236()103 void PR9236() {
104   struct A {int i;} A1;
105   (void)(1 ? A1 : NULL); // expected-error{{non-pointer operand type 'struct A' incompatible with NULL}}
106   (void)(1 ? NULL : A1); // expected-error{{non-pointer operand type 'struct A' incompatible with NULL}}
107   (void)(1 ? 0 : A1); // expected-error{{incompatible operand types}}
108   (void)(1 ? (void*)0 : A1); // expected-error{{incompatible operand types}}
109   (void)(1 ? A1: (void*)0); // expected-error{{incompatible operand types}}
110   (void)(1 ? A1 : (NULL)); // expected-error{{non-pointer operand type 'struct A' incompatible with NULL}}
111 }
112 
113