Also merge template redeclarations.

Don't require specializations (of existing and read template) to be unique.

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

diff --git a/lib/Serialization/ASTReaderDecl.cpp b/lib/Serialization/ASTReaderDecl.cpp
index 843893d90f2952e9074e30a9b91091d18650da7c..fb4192f86a74d33b2a0ac4cced4b2c413732288e 100644 (file)
--- a/lib/Serialization/ASTReaderDecl.cpp
+++ b/lib/Serialization/ASTReaderDecl.cpp
@@ -1312,10 +1312,12 @@ ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
         D->setMemberSpecialization();
     }
   }
-     
+
   VisitTemplateDecl(D);
   D->IdentifierNamespace = Record[Idx++];
-  
+
+  mergeRedeclarable(D, Redecl);
+
   return Redecl;
 }
 
@@ -1402,9 +1404,9 @@ void ASTDeclReader::VisitClassTemplateSpecializationDecl(
     if (D->isCanonicalDecl()) { // It's kept in the folding set.
       if (ClassTemplatePartialSpecializationDecl *Partial
                         = dyn_cast<ClassTemplatePartialSpecializationDecl>(D)) {
-       CanonPattern->getCommonPtr()->PartialSpecializations.InsertNode(Partial);
+  CanonPattern->getCommonPtr()->PartialSpecializations.GetOrInsertNode(Partial);
       } else {
-        CanonPattern->getCommonPtr()->Specializations.InsertNode(D);
+        CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(D);
       }
     }
   }
@@ -1747,7 +1749,7 @@ static bool isSameEntity(NamedDecl *X, NamedDecl *Y) {
     return (FuncX->getLinkage() == FuncY->getLinkage()) &&
       FuncX->getASTContext().hasSameType(FuncX->getType(), FuncY->getType());
   }
-  
+
   // Variables with the same type and linkage match.
   if (VarDecl *VarX = dyn_cast<VarDecl>(X)) {
     VarDecl *VarY = cast<VarDecl>(Y);
@@ -1760,7 +1762,11 @@ static bool isSameEntity(NamedDecl *X, NamedDecl *Y) {
     NamespaceDecl *NamespaceY = cast<NamespaceDecl>(Y);
     return NamespaceX->isInline() == NamespaceY->isInline();
   }
-      
+
+  // Identical template names and kinds match.
+  if (isa<TemplateDecl>(X))
+    return true;
+
   // FIXME: Many other cases to implement.
   return false;
 }
@@ -2296,7 +2302,7 @@ void ASTReader::loadPendingDeclChain(serialization::GlobalDeclID ID) {
   }
   MergedDeclsMap::iterator MergedPos = combineStoredMergedDecls(CanonDecl, ID);
   if (MergedPos != MergedDecls.end())
-    SearchDecls.append(MergedPos->second.begin(), MergedPos->second.end());  
+    SearchDecls.append(MergedPos->second.begin(), MergedPos->second.end());
   
   // Build up the list of redeclarations.
   RedeclChainVisitor Visitor(*this, SearchDecls, RedeclsDeserialized, CanonID);

diff --git a/test/Modules/Inputs/redecl-merge-left.h b/test/Modules/Inputs/redecl-merge-left.h
index 4bdd01570f6f428cc7bb223d09050517ececd44a..a6ea6024c8551a23d4932f37d341461d05379aba 100644 (file)
--- a/test/Modules/Inputs/redecl-merge-left.h
+++ b/test/Modules/Inputs/redecl-merge-left.h
@@ -88,6 +88,13 @@ template<> class List<bool> {
 public:
   void push_back(int);
 };
+
+namespace N {
+template<typename T> class Set {
+public:
+  void insert(T);
+};
+}
 #endif
 
 // Make sure this doesn't introduce an ambiguity-creating 'id' at the

diff --git a/test/Modules/Inputs/redecl-merge-right.h b/test/Modules/Inputs/redecl-merge-right.h
index 695327674fb056dcdb05341d243317a6d1a2df13..2e05c035c5e64bf50386228a55f4e8f50a51cdcb 100644 (file)
--- a/test/Modules/Inputs/redecl-merge-right.h
+++ b/test/Modules/Inputs/redecl-merge-right.h
@@ -89,6 +89,13 @@ template<> class List<bool> {
 public:
   void push_back(int);
 };
+
+namespace N {
+  template<typename T> class Set {
+  public:
+    void insert(T);
+  };
+}
 #endif
 
 int ONE;

diff --git a/test/Modules/redecl-merge.m b/test/Modules/redecl-merge.m
index 0e5cd4ac37dc46dc1787ea189e6e7480eea16150..96b0b47565819f1e09f406616679bd47ea7578a7 100644 (file)
--- a/test/Modules/redecl-merge.m
+++ b/test/Modules/redecl-merge.m
@@ -153,6 +153,9 @@ void testVector() {
 
   List<bool> list_bool;
   list_bool.push_back(false);
+
+  N::Set<char> set_char;
+  set_char.insert('A');
 }
 #endif