diff --git a/lib/templatesimplifier.cpp b/lib/templatesimplifier.cpp index 943779b7b7f..d02f135d1ed 100644 --- a/lib/templatesimplifier.cpp +++ b/lib/templatesimplifier.cpp @@ -2172,7 +2172,7 @@ void TemplateSimplifier::expandTemplate( addNamespace(templateDeclaration, tok3); } mTokenList.addtoken(newName, tok3); - } else if (!Token::Match(tok3->next(), ":|{|=|;|[|]")) + } else if (!Token::Match(tok3->next(), "[:{=;[]),]")) tok3->str(newName); continue; } diff --git a/test/testsimplifytemplate.cpp b/test/testsimplifytemplate.cpp index e7722dcf90c..56644cb4396 100644 --- a/test/testsimplifytemplate.cpp +++ b/test/testsimplifytemplate.cpp @@ -219,6 +219,7 @@ class TestSimplifyTemplate : public TestFixture { TEST_CASE(template178); TEST_CASE(template_specialization_1); // #7868 - template specialization template struct S> {..}; TEST_CASE(template_specialization_2); // #7868 - template specialization template struct S> {..}; + TEST_CASE(template_specialization_3); TEST_CASE(template_enum); // #6299 Syntax error in complex enum declaration (including template) TEST_CASE(template_unhandled); TEST_CASE(template_default_parameter); @@ -4564,6 +4565,24 @@ class TestSimplifyTemplate : public TestFixture { ASSERT_EQUALS(exp, tok(code)); } + void template_specialization_3() { + const char code[] = "namespace N {\n" // #12312 + " template \n" + " bool equal(const T&);\n" + " template <>\n" + " bool equal(const int&) { return false; }\n" + "}\n" + "void f(bool equal, int i) { if (equal) {} }\n"; + const char exp[] = "namespace N { " + "bool equal ( const int & ) ; " + "template < typename T > " + "bool equal ( const T & ) ; " + "bool equal ( const int & ) { return false ; } " + "} " + "void f ( bool equal , int i ) { if ( equal ) { } }"; + ASSERT_EQUALS(exp, tok(code)); + } + void template_enum() { const char code1[] = "template \n" "struct Unconst {\n"