default-expr-arguments.cpp revision 6cc1518b9f15ca846b8c35518eeae9557935678d
19351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson// RUN: clang-cc -fsyntax-only -verify %s 29351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson 39351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlssonstruct S { }; 49351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson 59351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlssontemplate<typename T> void f1(T a, T b = 10) { } // expected-error{{cannot initialize 'b' with an rvalue of type 'int'}} 69351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson 79351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlssontemplate<typename T> void f2(T a, T b = T()) { } 89351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson 99351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlssontemplate<typename T> void f3(T a, T b = T() + T()); // expected-error{{invalid operands to binary expression ('struct S' and 'struct S')}} 109351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson 119351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlssonvoid g() { 129351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson f1(10); 1325cae7f4b1155b1a6ca959ea5143ea39eae656cdAnders Carlsson f1(S()); // expected-note{{in instantiation of default function argument expression for 'f1<struct S>' required here}} 149351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson 159351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson f2(10); 169351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson f2(S()); 179351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson 189351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson f3(10); 1925cae7f4b1155b1a6ca959ea5143ea39eae656cdAnders Carlsson f3(S()); // expected-note{{in instantiation of default function argument expression for 'f3<struct S>' required here}} 209351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson} 218644aecd4383ce829d1eed81e96399904a948362Anders Carlsson 228644aecd4383ce829d1eed81e96399904a948362Anders Carlssontemplate<typename T> struct F { 2321e1c4ea0a96bcecfe5976304d84779949058648Anders Carlsson F(T t = 10); // expected-error{{cannot initialize 't' with an rvalue of type 'int'}} 246bc107b49862418bf3f64f74f17e472b4c13aa71Anders Carlsson void f(T t = 10); // expected-error{{cannot initialize 't' with an rvalue of type 'int'}} 258644aecd4383ce829d1eed81e96399904a948362Anders Carlsson}; 268644aecd4383ce829d1eed81e96399904a948362Anders Carlsson 270b84a53412a6acac38e2d647d220ce7af851395eDouglas Gregorstruct FD : F<int> { }; 280b84a53412a6acac38e2d647d220ce7af851395eDouglas Gregor 298644aecd4383ce829d1eed81e96399904a948362Anders Carlssonvoid g2() { 3025cae7f4b1155b1a6ca959ea5143ea39eae656cdAnders Carlsson F<int> f; 310b84a53412a6acac38e2d647d220ce7af851395eDouglas Gregor FD fd; 328644aecd4383ce829d1eed81e96399904a948362Anders Carlsson} 335653ca5088b799ada71b5043a0a2cd71c727da83Anders Carlsson 346bc107b49862418bf3f64f74f17e472b4c13aa71Anders Carlssonvoid g3(F<int> f, F<struct S> s) { 356bc107b49862418bf3f64f74f17e472b4c13aa71Anders Carlsson f.f(); 366bc107b49862418bf3f64f74f17e472b4c13aa71Anders Carlsson s.f(); // expected-note{{in instantiation of default function argument expression for 'f<struct S>' required here}} 3721e1c4ea0a96bcecfe5976304d84779949058648Anders Carlsson 3821e1c4ea0a96bcecfe5976304d84779949058648Anders Carlsson F<int> f2; 3921e1c4ea0a96bcecfe5976304d84779949058648Anders Carlsson F<S> s2; // expected-note{{in instantiation of default function argument expression for 'F<struct S>' required here}} 406bc107b49862418bf3f64f74f17e472b4c13aa71Anders Carlsson} 416bc107b49862418bf3f64f74f17e472b4c13aa71Anders Carlsson 425653ca5088b799ada71b5043a0a2cd71c727da83Anders Carlssontemplate<typename T> struct G { 4325cae7f4b1155b1a6ca959ea5143ea39eae656cdAnders Carlsson G(T) {} 445653ca5088b799ada71b5043a0a2cd71c727da83Anders Carlsson}; 455653ca5088b799ada71b5043a0a2cd71c727da83Anders Carlsson 465653ca5088b799ada71b5043a0a2cd71c727da83Anders Carlssonvoid s(G<int> flags = 10) { } 475653ca5088b799ada71b5043a0a2cd71c727da83Anders Carlsson 486cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor// Test default arguments 496cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregortemplate<typename T> 506cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregorstruct X0 { 516cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor void f(T = T()); // expected-error{{no matching}} 526cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor}; 536cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor 546cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregortemplate<typename U> 556cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregorvoid X0<U>::f(U) { } 566cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor 576cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregorvoid test_x0(X0<int> xi) { 586cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor xi.f(); 596cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor xi.f(17); 606cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor} 615653ca5088b799ada71b5043a0a2cd71c727da83Anders Carlsson 626cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregorstruct NotDefaultConstructible { // expected-note{{candidate}} 636cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor NotDefaultConstructible(int); // expected-note{{candidate}} 646cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor}; 656bc107b49862418bf3f64f74f17e472b4c13aa71Anders Carlsson 666cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregorvoid test_x0_not_default_constructible(X0<NotDefaultConstructible> xn) { 676cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor xn.f(NotDefaultConstructible(17)); 686cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor xn.f(42); 696cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor xn.f(); // expected-note{{in instantiation of default function argument}} 706cc1518b9f15ca846b8c35518eeae9557935678dDouglas Gregor} 71