C++ front-end: qualified template specialisation can just be accepted

NathanJPhillips · Jun 11, 2018 · 57a14b0 · 57a14b0
1 parent 1f9deb3
commit 57a14b0
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 9 deletions.
diff --git a/regression/cpp/Qualifiers_In_Template_Specialisation1/test.desc b/regression/cpp/Qualifiers_In_Template_Specialisation1/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

diff --git a/regression/cpp/Template_Instantiation2/test.desc b/regression/cpp/Template_Instantiation2/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

diff --git a/src/cpp/cpp_typecheck_template.cpp b/src/cpp/cpp_typecheck_template.cpp
@@ -635,13 +635,6 @@ void cpp_typecheckt::convert_template_function_or_member_specialization(
   cpp_declaratort declarator=declaration.declarators().front();
   cpp_namet &cpp_name=declarator.name();
 
-  if(cpp_name.is_qualified())
-  {
-    error().source_location=cpp_name.source_location();
-    error() << "qualifiers not expected here" << eom;
-    throw 0;
-  }
-
   // There is specialization (instantiation with template arguments)
   // but also function overloading (no template arguments)