1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++11 -Wsign-conversion %s
2 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++17 -Wsign-conversion %s
4 // C++ rules for ?: are a lot stricter than C rules, and have to take into
5 // account more conversion options.
6 // This test runs in C++11 mode for the contextual conversion of the condition.
8 struct ToBool { explicit operator bool(); };
13 A(const B&); // expected-note 2 {{candidate constructor}}
15 struct B { operator A() const; }; // expected-note 2 {{candidate function}}
16 struct I { operator int(); };
17 struct J { operator I(); };
18 struct K { operator double(); };
19 typedef void (*vfn)();
20 struct F { operator vfn(); };
21 struct G { operator vfn(); };
28 struct Derived : Base {
31 struct Convertible { operator Base&(); };
32 struct Priv : private Base {}; // expected-note 4 {{declared private here}}
34 struct Fin : Mid, Derived {};
35 typedef void (Derived::*DFnPtr)();
36 struct ToMemPtr { operator DFnPtr(); };
39 struct BadBase { operator BadDerived&(); };
40 struct BadDerived : BadBase {};
43 int i1, i2, b1 : 3, b2 : 3;
49 const volatile int cvi;
51 struct MixedFieldsDerived : MixedFields {
57 operator short(); // expected-note 2 {{candidate function}}
58 operator signed char(); // expected-note 2 {{candidate function}}
62 virtual ~Abstract() = 0; // expected-note {{unimplemented pure virtual method '~Abstract' in 'Abstract'}}
65 struct Derived1: Abstract {
68 struct Derived2: Abstract {
73 // This function tests C++0x 5.16
75 // p1 (contextually convert to bool)
76 int i1 = ToBool() ? 0 : 1;
78 // p2 (one or both void, and throwing)
80 i1 ? throw 0 : throw 1;
81 i1 ? test() : throw 1;
82 i1 ? throw 0 : test();
84 i1 = i1 ? throw 0 : 0;
85 i1 = i1 ? 0 : throw 0;
86 i1 = i1 ? (throw 0) : 0;
87 i1 = i1 ? 0 : (throw 0);
88 i1 ? 0 : test(); // expected-error {{right operand to ? is void, but left operand is of type 'int'}}
89 i1 ? test() : 0; // expected-error {{left operand to ? is void, but right operand is of type 'int'}}
90 (i1 ? throw 0 : i1) = 0;
91 (i1 ? i1 : throw 0) = 0;
92 (i1 ? (throw 0) : i1) = 0;
93 (i1 ? i1 : (throw 0)) = 0;
94 (i1 ? (void)(throw 0) : i1) = 0; // expected-error {{left operand to ? is void, but right operand is of type 'int'}}
95 (i1 ? i1 : (void)(throw 0)) = 0; // expected-error {{right operand to ? is void, but left operand is of type 'int'}}
96 int &throwRef1 = (i1 ? flds.i1 : throw 0);
97 int &throwRef2 = (i1 ? throw 0 : flds.i1);
98 int &throwRef3 = (i1 ? flds.b1 : throw 0); // expected-error {{non-const reference cannot bind to bit-field}}
99 int &throwRef4 = (i1 ? throw 0 : flds.b1); // expected-error {{non-const reference cannot bind to bit-field}}
101 // p3 (one or both class type, convert to each other)
106 Base &bar1 = i1 ? base : derived;
107 Base &bar2 = i1 ? derived : base;
108 Base &bar3 = i1 ? base : conv;
109 Base &bar4 = i1 ? conv : base;
110 // these are ambiguous
113 (void)(i1 ? bb : bd); // expected-error {{conditional expression is ambiguous; 'BadBase' can be converted to 'BadDerived' and vice versa}}
114 (void)(i1 ? bd : bb); // expected-error {{conditional expression is ambiguous}}
115 // curiously enough (and a defect?), these are not
116 // for rvalues, hierarchy takes precedence over other conversions
117 (void)(i1 ? BadBase() : BadDerived());
118 (void)(i1 ? BadDerived() : BadBase());
120 // b2.1 (hierarchy stuff)
121 extern const Base constret();
122 extern const Derived constder();
123 // should use const overload
124 A a1((i1 ? constret() : Base()).trick());
125 A a2((i1 ? Base() : constret()).trick());
126 A a3((i1 ? constret() : Derived()).trick());
127 A a4((i1 ? Derived() : constret()).trick());
128 // should use non-const overload
129 i1 = (i1 ? Base() : Base()).trick();
130 i1 = (i1 ? Base() : Base()).trick();
131 i1 = (i1 ? Base() : Derived()).trick();
132 i1 = (i1 ? Derived() : Base()).trick();
133 // should fail: const lost
134 (void)(i1 ? Base() : constder()); // expected-error {{incompatible operand types ('Base' and 'const Derived')}}
135 (void)(i1 ? constder() : Base()); // expected-error {{incompatible operand types ('const Derived' and 'Base')}}
139 (void)(i1 ? Base() : Priv()); // expected-error{{private base class}}
140 (void)(i1 ? Priv() : Base()); // expected-error{{private base class}}
141 (void)(i1 ? Base() : Fin()); // expected-error{{ambiguous conversion from derived class 'Fin' to base class 'Base':}}
142 (void)(i1 ? Fin() : Base()); // expected-error{{ambiguous conversion from derived class 'Fin' to base class 'Base':}}
143 (void)(i1 ? base : priv); // expected-error {{private base class}}
144 (void)(i1 ? priv : base); // expected-error {{private base class}}
145 (void)(i1 ? base : fin); // expected-error {{ambiguous conversion from derived class 'Fin' to base class 'Base':}}
146 (void)(i1 ? fin : base); // expected-error {{ambiguous conversion from derived class 'Fin' to base class 'Base':}}
148 // b2.2 (non-hierarchy)
151 I i2(i1 ? I() : J());
152 I i3(i1 ? J() : I());
153 // "the type [it] would have if E2 were converted to an rvalue"
154 vfn pfn = i1 ? F() : test;
155 pfn = i1 ? test : F();
156 (void)(i1 ? A() : B()); // expected-error {{conversion from 'B' to 'A' is ambiguous}}
157 (void)(i1 ? B() : A()); // expected-error {{conversion from 'B' to 'A' is ambiguous}}
158 (void)(i1 ? 1 : Ambig()); // expected-error {{conversion from 'Ambig' to 'int' is ambiguous}}
159 (void)(i1 ? Ambig() : 1); // expected-error {{conversion from 'Ambig' to 'int' is ambiguous}}
160 // By the way, this isn't an lvalue:
161 &(i1 ? i1 : i2); // expected-error {{cannot take the address of an rvalue}}
163 // p4 (lvalue, same type)
164 int &ir1 = i1 ? flds.i1 : flds.i2;
165 (i1 ? flds.b1 : flds.i2) = 0;
166 (i1 ? flds.i1 : flds.b2) = 0;
167 (i1 ? flds.b1 : flds.b2) = 0;
169 // p5 (conversion to built-in types)
170 // GCC 4.3 fails these
171 double d1 = i1 ? I() : K();
172 pfn = i1 ? F() : G();
174 pfm = i1 ? DFnPtr() : &Base::fn1;
175 pfm = i1 ? &Base::fn1 : DFnPtr();
177 // p6 (final conversions)
179 int *pi1 = i1 ? &i1 : 0;
185 Base *pb = i1 ? (Base*)0 : (Derived*)0;
186 pb = i1 ? (Derived*)0 : (Base*)0;
187 pfm = i1 ? &Base::fn1 : &Derived::fn2;
188 pfm = i1 ? &Derived::fn2 : &Base::fn1;
189 pfm = i1 ? &Derived::fn2 : 0;
190 pfm = i1 ? 0 : &Derived::fn2;
191 const int (MixedFieldsDerived::*mp1) =
192 i1 ? &MixedFields::ci : &MixedFieldsDerived::i;
193 const volatile int (MixedFields::*mp2) =
194 i1 ? &MixedFields::ci : &MixedFields::cvi;
195 (void)(i1 ? &MixedFields::ci : &MixedFields::vi);
196 // Conversion of primitives does not result in an lvalue.
197 &(i1 ? i1 : d1); // expected-error {{cannot take the address of an rvalue}}
199 (void)&(i1 ? flds.b1 : flds.i1); // expected-error {{address of bit-field requested}}
200 (void)&(i1 ? flds.i1 : flds.b1); // expected-error {{address of bit-field requested}}
203 unsigned long test0 = 5;
204 test0 = test0 ? (long) test0 : test0; // expected-warning {{operand of ? changes signedness: 'long' to 'unsigned long'}}
205 test0 = test0 ? (int) test0 : test0; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}}
206 test0 = test0 ? (short) test0 : test0; // expected-warning {{operand of ? changes signedness: 'short' to 'unsigned long'}}
207 test0 = test0 ? test0 : (long) test0; // expected-warning {{operand of ? changes signedness: 'long' to 'unsigned long'}}
208 test0 = test0 ? test0 : (int) test0; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}}
209 test0 = test0 ? test0 : (short) test0; // expected-warning {{operand of ? changes signedness: 'short' to 'unsigned long'}}
210 test0 = test0 ? test0 : (long) 10;
211 test0 = test0 ? test0 : (int) 10;
212 test0 = test0 ? test0 : (short) 10;
213 test0 = test0 ? (long) 10 : test0;
214 test0 = test0 ? (int) 10 : test0;
215 test0 = test0 ? (short) 10 : test0;
218 test0 = test0 ? EVal : test0;
219 test1 = test0 ? EVal : (int) test0;
221 test0 = test0 ? EVal : test1; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}}
222 test0 = test0 ? test1 : EVal; // expected-warning {{operand of ? changes signedness: 'int' to 'unsigned long'}}
224 test1 = test0 ? EVal : (int) test0;
225 test1 = test0 ? (int) test0 : EVal;
227 // Note the thing that this does not test: since DR446, various situations
228 // *must* create a separate temporary copy of class objects. This can only
229 // be properly tested at runtime, though.
231 const Abstract &abstract1 = true ? static_cast<const Abstract&>(Derived1()) : Derived2(); // expected-error {{allocating an object of abstract class type 'const Abstract'}}
232 const Abstract &abstract2 = true ? static_cast<const Abstract&>(Derived1()) : throw 3;
238 OtherString(const char*);
242 String(const char *);
243 String(const OtherString&);
244 operator const char*() const;
247 void f(bool Cond, String S, OtherString OS) {
248 (void)(Cond? S : "");
249 (void)(Cond? "" : S);
250 const char a[1] = {'a'};
253 (void)(Cond? OS : S);
266 Foo3(); // expected-note{{requires 0 arguments}}
267 Foo3(Foo3&); // expected-note{{would lose const qualifier}}
271 operator const Foo1&() const;
272 operator const Foo2&() const;
273 operator const Foo3&() const;
277 (void)(true ? Bar() : Foo1()); // okay
278 (void)(true ? Bar() : Foo2()); // okay
279 (void)(true ? Bar() : Foo3()); // expected-error{{no viable constructor copying temporary}}
283 // Reduced from selfhost.
287 fa, fb, fc, fd, fe, ff
300 namespace rdar7998817 {
302 X(X&); // expected-note{{declared private here}}
315 (void)(B? x // expected-error{{calling a private constructor of class 'rdar7998817::X'}}
329 const volatile Enum g2() {
335 Enum e = false ? g() : v;
336 Enum e2 = false ? v2 : v;
337 Enum e3 = false ? g2() : v;
346 (void)(true ? A() : NULL); // expected-error{{non-pointer operand type 'A' incompatible with NULL}}
347 (void)(true ? NULL : A()); // expected-error{{non-pointer operand type 'A' incompatible with NULL}}
348 (void)(true ? 0 : A()); // expected-error{{incompatible operand types}}
349 (void)(true ? nullptr : A()); // expected-error{{non-pointer operand type 'A' incompatible with nullptr}}
350 (void)(true ? nullptr : i); // expected-error{{non-pointer operand type 'int' incompatible with nullptr}}
351 (void)(true ? __null : A()); // expected-error{{non-pointer operand type 'A' incompatible with NULL}}
352 (void)(true ? (void*)0 : A()); // expected-error{{incompatible operand types}}
360 static const T t2 = T();
361 return &(b ? t1 : t2);
364 template const int *f(bool);
365 template const S *f(bool);
371 const volatile int cvi = 0;
373 const int &cir = b ? i : ci;
374 volatile int &vir = b ? vi : i;
375 const volatile int &cvir1 = b ? ci : cvi;
376 const volatile int &cvir2 = b ? cvi : vi;
377 const volatile int &cvir3 = b ? ci : vi; // expected-error{{volatile lvalue reference to type 'const volatile int' cannot bind to a temporary of type 'int'}}
385 int &test() { return b_ ? i_ : throw 1; }
391 struct Derived : Base {};
394 typedef decltype(true ? static_cast<Base&&>(b) : static_cast<Derived&&>(d)) x;
398 namespace lifetime_extension {
400 struct B : A { B(); ~B(); };
401 struct C : A { C(); ~C(); };
404 A &&r = b ? static_cast<A&&>(B()) : static_cast<A&&>(C());
408 void f_indirect(bool b) {
409 D d = b ? D{B()} : D{C()};