conditional-expr.cpp revision b65a45835afcc93fa99e22b14b4c9734c261d831
17002f4c03c2d0544f4e8bea8d3a5636519081e35John McCall// RUN: %clang_cc1 -fsyntax-only -verify -std=c++0x -Wsign-compare %s 23201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 33201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl// C++ rules for ?: are a lot stricter than C rules, and have to take into 43201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl// account more conversion options. 53201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl// This test runs in C++0x mode for the contextual conversion of the condition. 63201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 73201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct ToBool { explicit operator bool(); }; 83201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 93201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct B; 10d1a272204cef9304df3930d94f66713b05db27d6Douglas Gregorstruct A { A(); A(const B&); }; // expected-note 2 {{candidate constructor}} 111d31833450e6d2947a33cb0840d87661d92eec07John McCallstruct B { operator A() const; }; // expected-note 2 {{candidate function}} 123201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct I { operator int(); }; 133201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct J { operator I(); }; 143201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct K { operator double(); }; 153201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redltypedef void (*vfn)(); 163201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct F { operator vfn(); }; 173201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct G { operator vfn(); }; 183201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 193201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct Base { 203201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl int trick(); 213201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl A trick() const; 2276458501a8963fa11b91c9337a487de6871169b4Sebastian Redl void fn1(); 2376458501a8963fa11b91c9337a487de6871169b4Sebastian Redl}; 2476458501a8963fa11b91c9337a487de6871169b4Sebastian Redlstruct Derived : Base { 2576458501a8963fa11b91c9337a487de6871169b4Sebastian Redl void fn2(); 263201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl}; 273201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct Convertible { operator Base&(); }; 286b2accb4793e16b2e93a8c2589f5df702231f17aJohn McCallstruct Priv : private Base {}; // expected-note 4 {{declared private here}} 293201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct Mid : Base {}; 303201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct Fin : Mid, Derived {}; 3176458501a8963fa11b91c9337a487de6871169b4Sebastian Redltypedef void (Derived::*DFnPtr)(); 3276458501a8963fa11b91c9337a487de6871169b4Sebastian Redlstruct ToMemPtr { operator DFnPtr(); }; 333201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 343201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct BadDerived; 353201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct BadBase { operator BadDerived&(); }; 363201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct BadDerived : BadBase {}; 373201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 383201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct Fields { 393201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl int i1, i2, b1 : 3, b2 : 3; 403201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl}; 419bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redlstruct MixedFields { 429bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl int i; 439bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl volatile int vi; 449bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl const int ci; 459bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl const volatile int cvi; 469bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl}; 479bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redlstruct MixedFieldsDerived : MixedFields { 489bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl}; 493201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 503201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlenum Enum { EVal }; 513201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 523201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlstruct Ambig { 531d31833450e6d2947a33cb0840d87661d92eec07John McCall operator short(); // expected-note 2 {{candidate function}} 541d31833450e6d2947a33cb0840d87661d92eec07John McCall operator signed char(); // expected-note 2 {{candidate function}} 553201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl}; 563201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 573201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redlvoid test() 583201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl{ 593201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // This function tests C++0x 5.16 603201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 613201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // p1 (contextually convert to bool) 623201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl int i1 = ToBool() ? 0 : 1; 633201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 643201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // p2 (one or both void, and throwing) 653201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 ? throw 0 : throw 1; 663201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 ? test() : throw 1; 673201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 ? throw 0 : test(); 683201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 ? test() : test(); 693201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = i1 ? throw 0 : 0; 703201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = i1 ? 0 : throw 0; 713201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 ? 0 : test(); // expected-error {{right operand to ? is void, but left operand is of type 'int'}} 723201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 ? test() : 0; // expected-error {{left operand to ? is void, but right operand is of type 'int'}} 733201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl (i1 ? throw 0 : i1) = 0; // expected-error {{expression is not assignable}} 743201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl (i1 ? i1 : throw 0) = 0; // expected-error {{expression is not assignable}} 753201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 763201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // p3 (one or both class type, convert to each other) 773201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // b1 (lvalues) 783201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl Base base; 793201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl Derived derived; 803201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl Convertible conv; 8176458501a8963fa11b91c9337a487de6871169b4Sebastian Redl Base &bar1 = i1 ? base : derived; 8276458501a8963fa11b91c9337a487de6871169b4Sebastian Redl Base &bar2 = i1 ? derived : base; 8376458501a8963fa11b91c9337a487de6871169b4Sebastian Redl Base &bar3 = i1 ? base : conv; 8476458501a8963fa11b91c9337a487de6871169b4Sebastian Redl Base &bar4 = i1 ? conv : base; 853201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // these are ambiguous 863201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl BadBase bb; 873201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl BadDerived bd; 887c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? bb : bd); // expected-error {{conditional expression is ambiguous; 'BadBase' can be converted to 'BadDerived' and vice versa}} 893201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl (void)(i1 ? bd : bb); // expected-error {{conditional expression is ambiguous}} 903201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // curiously enough (and a defect?), these are not 913201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // for rvalues, hierarchy takes precedence over other conversions 923201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl (void)(i1 ? BadBase() : BadDerived()); 933201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl (void)(i1 ? BadDerived() : BadBase()); 943201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 953201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // b2.1 (hierarchy stuff) 963201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl const Base constret(); 973201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl const Derived constder(); 983201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // should use const overload 993201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl A a1((i1 ? constret() : Base()).trick()); 1003201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl A a2((i1 ? Base() : constret()).trick()); 1013201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl A a3((i1 ? constret() : Derived()).trick()); 1023201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl A a4((i1 ? Derived() : constret()).trick()); 1033201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // should use non-const overload 1043201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = (i1 ? Base() : Base()).trick(); 1053201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = (i1 ? Base() : Base()).trick(); 1063201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = (i1 ? Base() : Derived()).trick(); 1073201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = (i1 ? Derived() : Base()).trick(); 1083201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // should fail: const lost 1097c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? Base() : constder()); // expected-error {{incompatible operand types ('Base' and 'Derived const')}} 1107c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? constder() : Base()); // expected-error {{incompatible operand types ('Derived const' and 'Base')}} 11178eb874222b7653edf7182d0d899d717d5c592c1Sebastian Redl 11278eb874222b7653edf7182d0d899d717d5c592c1Sebastian Redl Priv priv; 11378eb874222b7653edf7182d0d899d717d5c592c1Sebastian Redl Fin fin; 1146b2accb4793e16b2e93a8c2589f5df702231f17aJohn McCall (void)(i1 ? Base() : Priv()); // expected-error{{private base class}} 1156b2accb4793e16b2e93a8c2589f5df702231f17aJohn McCall (void)(i1 ? Priv() : Base()); // expected-error{{private base class}} 1167c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? Base() : Fin()); // expected-error{{ambiguous conversion from derived class 'Fin' to base class 'Base':}} 1177c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? Fin() : Base()); // expected-error{{ambiguous conversion from derived class 'Fin' to base class 'Base':}} 1186b2accb4793e16b2e93a8c2589f5df702231f17aJohn McCall (void)(i1 ? base : priv); // expected-error {{private base class}} 1196b2accb4793e16b2e93a8c2589f5df702231f17aJohn McCall (void)(i1 ? priv : base); // expected-error {{private base class}} 1207c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? base : fin); // expected-error {{ambiguous conversion from derived class 'Fin' to base class 'Base':}} 1217c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? fin : base); // expected-error {{ambiguous conversion from derived class 'Fin' to base class 'Base':}} 1223201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 1233201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // b2.2 (non-hierarchy) 1243201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = i1 ? I() : i1; 1253201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = i1 ? i1 : I(); 1263201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl I i2(i1 ? I() : J()); 1273201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl I i3(i1 ? J() : I()); 1283201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // "the type [it] woud have if E2 were converted to an rvalue" 1293201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl vfn pfn = i1 ? F() : test; 1303201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl pfn = i1 ? test : F(); 1317c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? A() : B()); // expected-error {{conversion from 'B' to 'A' is ambiguous}} 1327c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? B() : A()); // expected-error {{conversion from 'B' to 'A' is ambiguous}} 1337c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? 1 : Ambig()); // expected-error {{conversion from 'Ambig' to 'int' is ambiguous}} 1347c2342dd4c9947806842e5aca3d2bb2e542853c9John McCall (void)(i1 ? Ambig() : 1); // expected-error {{conversion from 'Ambig' to 'int' is ambiguous}} 13576458501a8963fa11b91c9337a487de6871169b4Sebastian Redl // By the way, this isn't an lvalue: 13676458501a8963fa11b91c9337a487de6871169b4Sebastian Redl &(i1 ? i1 : i2); // expected-error {{address expression must be an lvalue or a function designator}} 1373201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 1383201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // p4 (lvalue, same type) 13976458501a8963fa11b91c9337a487de6871169b4Sebastian Redl Fields flds; 14076458501a8963fa11b91c9337a487de6871169b4Sebastian Redl int &ir1 = i1 ? flds.i1 : flds.i2; 14176458501a8963fa11b91c9337a487de6871169b4Sebastian Redl (i1 ? flds.b1 : flds.i2) = 0; 14276458501a8963fa11b91c9337a487de6871169b4Sebastian Redl (i1 ? flds.i1 : flds.b2) = 0; 14376458501a8963fa11b91c9337a487de6871169b4Sebastian Redl (i1 ? flds.b1 : flds.b2) = 0; 1443201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 1453201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // p5 (conversion to built-in types) 1463201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // GCC 4.3 fails these 1473201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl double d1 = i1 ? I() : K(); 1483201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl pfn = i1 ? F() : G(); 14976458501a8963fa11b91c9337a487de6871169b4Sebastian Redl DFnPtr pfm; 15078eb874222b7653edf7182d0d899d717d5c592c1Sebastian Redl pfm = i1 ? DFnPtr() : &Base::fn1; 15178eb874222b7653edf7182d0d899d717d5c592c1Sebastian Redl pfm = i1 ? &Base::fn1 : DFnPtr(); 1523201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl 1533201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // p6 (final conversions) 1543201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl i1 = i1 ? i1 : ir1; 1553201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl int *pi1 = i1 ? &i1 : 0; 1563201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl pi1 = i1 ? 0 : &i1; 157a2936be04fb800d93a0a8d3358f35c7b3b2ded16John McCall i1 = i1 ? i1 : EVal; 158a2936be04fb800d93a0a8d3358f35c7b3b2ded16John McCall i1 = i1 ? EVal : i1; 1593201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl d1 = i1 ? 'c' : 4.0; 1603201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl d1 = i1 ? 4.0 : 'c'; 161d1bd7fc4cd88f8790c56620d22560e19717f468aSebastian Redl Base *pb = i1 ? (Base*)0 : (Derived*)0; 162d1bd7fc4cd88f8790c56620d22560e19717f468aSebastian Redl pb = i1 ? (Derived*)0 : (Base*)0; 1639bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl pfm = i1 ? &Base::fn1 : &Derived::fn2; 1649bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl pfm = i1 ? &Derived::fn2 : &Base::fn1; 1659bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl pfm = i1 ? &Derived::fn2 : 0; 1669bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl pfm = i1 ? 0 : &Derived::fn2; 1679bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl const int (MixedFieldsDerived::*mp1) = 1689bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl i1 ? &MixedFields::ci : &MixedFieldsDerived::i; 1699bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl const volatile int (MixedFields::*mp2) = 1709bebfadb807aba0bc272197aff1cb4b2284c00a6Sebastian Redl i1 ? &MixedFields::ci : &MixedFields::cvi; 17120b3e9918cf7d7845c920baabc4fb2f1ac0ee1d2Douglas Gregor (void)(i1 ? &MixedFields::ci : &MixedFields::vi); 17276458501a8963fa11b91c9337a487de6871169b4Sebastian Redl // Conversion of primitives does not result in an lvalue. 17376458501a8963fa11b91c9337a487de6871169b4Sebastian Redl &(i1 ? i1 : d1); // expected-error {{address expression must be an lvalue or a function designator}} 17476458501a8963fa11b91c9337a487de6871169b4Sebastian Redl 1751d524c3dde58e4402aab4165e85e9ae6f15f5023Anders Carlsson (void)&(i1 ? flds.b1 : flds.i1); // expected-error {{address of bit-field requested}} 1761d524c3dde58e4402aab4165e85e9ae6f15f5023Anders Carlsson (void)&(i1 ? flds.i1 : flds.b1); // expected-error {{address of bit-field requested}} 1771d524c3dde58e4402aab4165e85e9ae6f15f5023Anders Carlsson 178b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall 179b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall unsigned long test0 = 5; 180b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? (long) test0 : test0; // expected-warning {{operands of ? are integers of different signs}} 181b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? (int) test0 : test0; // expected-warning {{operands of ? are integers of different signs}} 182b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? (short) test0 : test0; // expected-warning {{operands of ? are integers of different signs}} 183b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? test0 : (long) test0; // expected-warning {{operands of ? are integers of different signs}} 184b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? test0 : (int) test0; // expected-warning {{operands of ? are integers of different signs}} 185b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? test0 : (short) test0; // expected-warning {{operands of ? are integers of different signs}} 186b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? test0 : (long) 10; 187b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? test0 : (int) 10; 188b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? test0 : (short) 10; 189b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? (long) 10 : test0; 190b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? (int) 10 : test0; 191b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? (short) 10 : test0; 192b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall 193b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall test0 = test0 ? EVal : test0; 194a2936be04fb800d93a0a8d3358f35c7b3b2ded16John McCall test0 = test0 ? EVal : (int) test0; 195b13c87f0c9705d91d5a3e134be9934c9ad531071John McCall 1963201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // Note the thing that this does not test: since DR446, various situations 1973201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // *must* create a separate temporary copy of class objects. This can only 1983201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl // be properly tested at runtime, though. 1993201f6beec688ab9fe8750527e28f52d5420e22dSebastian Redl} 2000fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor 2010fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregornamespace PR6595 { 2020fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor struct String { 2030fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor String(const char *); 2040fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor operator const char*() const; 2050fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor }; 2060fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor 2070fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor void f(bool Cond, String S) { 2080fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor (void)(Cond? S : ""); 2090fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor (void)(Cond? "" : S); 2100fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor const char a[1] = {'a'}; 2110fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor (void)(Cond? S : a); 2120fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor (void)(Cond? a : S); 2130fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor } 2140fd8ff73630adab9a33123f23ef62fcf5c3cf326Douglas Gregor} 2152f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor 2162f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregornamespace PR6757 { 2172f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor struct Foo1 { 2182f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor Foo1(); 2192f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor Foo1(const Foo1&); 2202f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor }; 2212f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor 2222f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor struct Foo2 { }; 2232f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor 2242f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor struct Foo3 { 2252f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor Foo3(); 2263fbaf3e5d524bfff219d1e3e9ac4801a8411590fDouglas Gregor Foo3(Foo3&); // expected-note{{would lose const qualifier}} 2272f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor }; 2282f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor 2292f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor struct Bar { 2302f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor operator const Foo1&() const; 2312f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor operator const Foo2&() const; 2322f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor operator const Foo3&() const; 2332f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor }; 2342f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor 2352f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor void f() { 2362f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor (void)(true ? Bar() : Foo1()); // okay 2372f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor (void)(true ? Bar() : Foo2()); // okay 2383fbaf3e5d524bfff219d1e3e9ac4801a8411590fDouglas Gregor (void)(true ? Bar() : Foo3()); // expected-error{{no viable constructor copying temporary}} 2392f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor } 2402f59979a7cc7929f53c9984423b0abeb83113442Douglas Gregor} 241323ed74658bc8375278eabf074b4777458376540John McCall 242323ed74658bc8375278eabf074b4777458376540John McCall// Reduced from selfhost. 243323ed74658bc8375278eabf074b4777458376540John McCallnamespace test1 { 244323ed74658bc8375278eabf074b4777458376540John McCall struct A { 245323ed74658bc8375278eabf074b4777458376540John McCall enum Foo { 246323ed74658bc8375278eabf074b4777458376540John McCall fa, fb, fc, fd, fe, ff 247323ed74658bc8375278eabf074b4777458376540John McCall }; 248323ed74658bc8375278eabf074b4777458376540John McCall 249323ed74658bc8375278eabf074b4777458376540John McCall Foo x(); 250323ed74658bc8375278eabf074b4777458376540John McCall }; 251323ed74658bc8375278eabf074b4777458376540John McCall 252323ed74658bc8375278eabf074b4777458376540John McCall void foo(int); 253323ed74658bc8375278eabf074b4777458376540John McCall 254323ed74658bc8375278eabf074b4777458376540John McCall void test(A *a) { 255323ed74658bc8375278eabf074b4777458376540John McCall foo(a ? a->x() : 0); 256323ed74658bc8375278eabf074b4777458376540John McCall } 257323ed74658bc8375278eabf074b4777458376540John McCall} 258b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor 259b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregornamespace rdar7998817 { 260b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor class X { 261b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor X(X&); // expected-note{{declared private here}} 262b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor 263b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor struct ref { }; 264b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor 265b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor public: 266b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor X(); 267b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor X(ref); 268b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor 269b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor operator ref(); 270b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor }; 271b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor 272b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor void f(bool B) { 273b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor X x; 274b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor (void)(B? x // expected-error{{calling a private constructor of class 'rdar7998817::X'}} 275b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor : X()); 276b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor } 277b65a45835afcc93fa99e22b14b4c9734c261d831Douglas Gregor} 278