// RUN: clang-cc -fsyntax-only -verify %s

struct S { };

template<typename T> void f1(T a, T b = 10) { } // expected-error{{cannot initialize 'b' with an rvalue of type 'int'}}

template<typename T> void f2(T a, T b = T()) { }

template<typename T> void f3(T a, T b = T() + T()); // expected-error{{invalid operands to binary expression ('struct S' and 'struct S')}}

void g() {
  f1(10);
  f1(S()); // expected-note{{in instantiation of default argument for 'f1<struct S>' required here}}
  
  f2(10);
  f2(S());
  
  f3(10);
  f3(S()); // expected-note{{in instantiation of default argument for 'f3<struct S>' required here}}
}

template<typename T> struct F {
	F(T t = 10);
};

struct FD : F<int> { };

void g2() {
	F<int> f;
  FD fd;
}

template<typename T> struct G {
	G(T) {}
};

void s(G<int> flags = 10) { }



// RUN: clang-cc -fsyntax-only -verify %s

struct S { };

template<typename T> void f1(T a, T b = 10) { } // expected-error{{cannot initialize 'b' with an rvalue of type 'int'}}

template<typename T> void f2(T a, T b = T()) { }

template<typename T> void f3(T a, T b = T() + T()); // expected-error{{invalid operands to binary expression ('struct S' and 'struct S')}}

void g() {
  f1(10);
  f1(S()); // expected-note{{in instantiation of default argument for 'f1<struct S>' required here}}
  
  f2(10);
  f2(S());
  
  f3(10);
  f3(S()); // expected-note{{in instantiation of default argument for 'f3<struct S>' required here}}
}

template<typename T> struct F {
	F(T t = 10);
};

void g2() {
	F<int> f;
}

template<typename T> struct G {
	G(T) {}
};

void s(G<int> flags = 10) { }



--- 
+++ 
@@ -23,8 +23,11 @@
 	F(T t = 10);
 };
 
+struct FD : F<int> { };
+
 void g2() {
 	F<int> f;
+  FD fd;
 }
 
 template<typename T> struct G {
Add a little more testing for default arguments of constructors in a class template

git-svn-id: ffe668792ed300d6c2daa1f6eba2e0aa28d7ec6c@79989 91177308-0d34-0410-b5e6-96231b3b80d8
