commit e66edc18ae0fc17169fa61d3c6fab9d48b1eb751
author John McCall <rjmccall@apple.com> Tue Nov 24 19:00:30 2009 +0000
committer John McCall <rjmccall@apple.com> Tue Nov 24 19:00:30 2009 +0000
tree f3f4529d2fda3aa455db1f495ebaa7a228f7b782
parent 95c66b9ddc235eecc773abf8d8845e66bb4066d8

Rip out TemplateIdRefExpr and make UnresolvedLookupExpr and            
DependentScopeDeclRefExpr support storing templateids.  Unite the common   
code paths between ActOnDeclarationNameExpr and ActOnTemplateIdExpr.

This gets us to a point where we don't need to store function templates in
the AST using TemplateNames, which is critical to ripping out OverloadedFunction.

Also resolves a few FIXMEs.

llvm-svn: 89785

clang/lib/Sema/SemaTemplateInstantiate.cpp

diff --git a/clang/lib/Sema/SemaTemplateInstantiate.cpp b/clang/lib/Sema/SemaTemplateInstantiate.cpp
index 502c151..dd92218 100644
--- a/clang/lib/Sema/SemaTemplateInstantiate.cpp
+++ b/clang/lib/Sema/SemaTemplateInstantiate.cpp
@@ -557,9 +557,6 @@
                                                    bool isAddressOfOperand);
     Sema::OwningExprResult TransformDeclRefExpr(DeclRefExpr *E,
                                                 bool isAddressOfOperand);
-    Sema::OwningExprResult TransformUnresolvedLookupExpr(
-                                                UnresolvedLookupExpr *E,
-                                                bool isAddressOfOperand);
 
     Sema::OwningExprResult TransformCXXDefaultArgExpr(CXXDefaultArgExpr *E,
                                                       bool isAddressOfOperand);
@@ -698,49 +695,6 @@
 }
 
 Sema::OwningExprResult
-TemplateInstantiator::TransformUnresolvedLookupExpr(UnresolvedLookupExpr *Old,
-                                                    bool isAddressOfOperand) {
-  LookupResult R(SemaRef, Old->getName(), Old->getNameLoc(),
-                 Sema::LookupOrdinaryName);
-
-  for (UnresolvedLookupExpr::decls_iterator I = Old->decls_begin(),
-         E = Old->decls_end(); I != E; ++I) {
-    NamedDecl *InstD = SemaRef.FindInstantiatedDecl(*I, TemplateArgs);
-    if (!InstD)
-      return SemaRef.ExprError();
-
-    // The lookup values can never instantiate to a UsingDecl, because
-    // only UnresolvedUsingValueDecls do that, and those can never
-    // appear in UnresolvedLookupExprs (only UnresolvedMemberLookupExprs).
-    assert(!isa<UsingDecl>(InstD));
-
-    // Analogously.
-    assert(!isa<UnresolvedUsingValueDecl>(InstD->getUnderlyingDecl()));
-
-    R.addDecl(InstD);
-  }
-
-  R.resolveKind();
-
-  // This shouldn't be possible.
-  assert(!R.isAmbiguous());
-
-  CXXScopeSpec SS;
-  NestedNameSpecifier *Qualifier = 0;
-  if (Old->getQualifier()) {
-    Qualifier = TransformNestedNameSpecifier(Old->getQualifier(),
-                                             Old->getQualifierRange());
-    if (!Qualifier)
-      return SemaRef.ExprError();
-    
-    SS.setScopeRep(Qualifier);
-    SS.setRange(Old->getQualifierRange());
-  }
-
-  return SemaRef.BuildDeclarationNameExpr(&SS, R, Old->requiresADL());
-}
-
-Sema::OwningExprResult
 TemplateInstantiator::TransformDeclRefExpr(DeclRefExpr *E,
                                            bool isAddressOfOperand) {
   // FIXME: Clean this up a bit
@@ -847,7 +801,7 @@
     SS.setRange(E->getQualifierRange());
   }
   
-  return SemaRef.BuildDeclarationNameExpr(&SS, E->getLocation(), InstD);
+  return SemaRef.BuildDeclarationNameExpr(SS, E->getLocation(), InstD);
 }
 
 Sema::OwningExprResult TemplateInstantiator::TransformCXXDefaultArgExpr(