default-expr-arguments.cpp revision 9351c173cd538f7f7c28af1494ac7e68b815b0e8
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);
139351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson  f1(S()); // expected-note{{in instantiation of default argument for 'f1<struct S>' required here}}
149351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson
159351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson  f2(10);
169351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson  f2(S());
179351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson
189351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson  f3(10);
199351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson  f3(S()); // expected-note{{in instantiation of default argument for 'f3<struct S>' required here}}
209351c173cd538f7f7c28af1494ac7e68b815b0e8Anders Carlsson}
21