From 3fb5afbb70da8cd74e697b1b2ed329b851f9ef20 Mon Sep 17 00:00:00 2001 From: Richard Smith Date: Thu, 13 Mar 2014 00:28:45 +0000 Subject: PR18275: If a member function of a class template is declared with a const-qualified parameter type and the defined with a non-const-qualified parameter type, the parameter is not const inside its body. Ensure that the type we use when instantiating the body is the right one. Patch by suyog sarda! This is still rather unsatisfactory; it seems like it might be better to instantiate at least the function parameters, and maybe the complete function declaration, when we instantiate the definition for such a member function (instead of reusing the declaration from inside the instantiated class definition). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@203741 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/SemaTemplate/dependent-type-identity.cpp | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'test/SemaTemplate') diff --git a/test/SemaTemplate/dependent-type-identity.cpp b/test/SemaTemplate/dependent-type-identity.cpp index 731013c863..a796834ce0 100644 --- a/test/SemaTemplate/dependent-type-identity.cpp +++ b/test/SemaTemplate/dependent-type-identity.cpp @@ -98,3 +98,27 @@ namespace PR7460 { template T TemplateClass2::member[TemplateClass2::SIZE]; } + +namespace PR18275 { + template struct A { + void f(const int); + void g(int); + void h(const T); + void i(T); + }; + + template + void A::f(int x) { x = 0; } + + template + void A::g(const int x) { x = 0; } // expected-error {{not assignable}} + + template + void A::h(T) {} // FIXME: Should reject this. Type is different from prior decl if T is an array type. + + template + void A::i(const T) {} // FIXME: Should reject this. Type is different from prior decl if T is an array type. + + template struct A; + template struct A; +} -- cgit v1.2.3