From: John McCall <rjmccall@apple.com>
Date: Wed, 24 Mar 2010 08:27:58 +0000 (+0000)
Subject: Correct that last fixit:  if the user wrote
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=5fd378bd9bf1340cd1d1b1d63a5d41cbbc5a1a5e;p=clang

Correct that last fixit:  if the user wrote
  template <> friend void foo(int);
we need to change it to
  friend void foo<>(int);
or else the user won't get the template specialization they obviously want.



git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@99390 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp
index 1435a8f721..e802018c9f 100644
--- a/lib/Sema/SemaDecl.cpp
+++ b/lib/Sema/SemaDecl.cpp
@@ -2921,9 +2921,24 @@ Sema::ActOnFunctionDeclarator(Scope* S, Declarator& D, DeclContext* DC,
 
       // C++0x [temp.expl.spec]p20 forbids "template<> void foo(int);".
       if (isFriend && isFunctionTemplateSpecialization) {
-        SourceRange Range = TemplateParams->getSourceRange();
+        // We want to remove the "template<>", found here.
+        SourceRange RemoveRange = TemplateParams->getSourceRange();
+
+        // If we remove the template<> and the name is not a
+        // template-id, we're actually silently creating a problem:
+        // the friend declaration will refer to an untemplated decl,
+        // and clearly the user wants a template specialization.  So
+        // we need to insert '<>' after the name.
+        SourceLocation InsertLoc;
+        if (D.getName().getKind() != UnqualifiedId::IK_TemplateId) {
+          InsertLoc = D.getName().getSourceRange().getEnd();
+          InsertLoc = PP.getLocForEndOfToken(InsertLoc);
+        }
+
         Diag(D.getIdentifierLoc(), diag::err_template_spec_decl_friend)
-          << Name << Range << CodeModificationHint::CreateRemoval(Range);
+          << Name << RemoveRange
+          << CodeModificationHint::CreateRemoval(RemoveRange)
+          << CodeModificationHint::CreateInsertion(InsertLoc, "<>");
       }
     }