[cfe-commits] r65478 - in /cfe/trunk: lib/Sema/SemaTemplate.cpp test/SemaTemplate/class-template-spec.cpp

[Douglas Gregor]

Author: dgregor
Date: Wed Feb 25 16:18:32 2009
New Revision: 65478

URL: http://llvm.org/viewvc/llvm-project?rev=65478&view=rev
Log:
Improve location information on "reused" class template specialization
decls. Test and document the semantic location of class template
specialization definitions that occur within a scope enclosing the
scope of the class template.

Modified:
    cfe/trunk/lib/Sema/SemaTemplate.cpp
    cfe/trunk/test/SemaTemplate/class-template-spec.cpp

Modified: cfe/trunk/lib/Sema/SemaTemplate.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaTemplate.cpp?rev=65478&r1=65477&r2=65478&view=diff

==============================================================================
--- cfe/trunk/lib/Sema/SemaTemplate.cpp (original)
+++ cfe/trunk/lib/Sema/SemaTemplate.cpp Wed Feb 25 16:18:32 2009
@@ -687,8 +687,9 @@
                                                 ConvertedTemplateArgs.size(),
                                                    0);
     ClassTemplate->getSpecializations().InsertNode(Decl, InsertPos);
+    Decl->setLexicalDeclContext(CurContext);
   }
-
+  
   // Build the fully-sugared type for this class template
   // specialization, which refers back to the class template
   // specialization we created or found.
@@ -1611,6 +1612,9 @@
 
   // Check the validity of the template headers that introduce this
   // template.
+  // FIXME: Once we have member templates, we'll need to check
+  // C++ [temp.expl.spec]p17-18, where we could have multiple levels of
+  // template<> headers.
   if (TemplateParameterLists.size() == 0) {
     // FIXME: It would be very nifty if we could introduce some kind
     // of "code insertion hint" that could show the code that needs to
@@ -1684,8 +1688,8 @@
     // arguments was referenced but not declared, reuse that
     // declaration node as our own, updating its source location to
     // reflect our new declaration.
-    // FIXME: update source locations
     Specialization = PrevDecl;
+    Specialization->setLocation(TemplateNameLoc);
     PrevDecl = 0;
   } else {
     // Create a new class template specialization declaration node for
@@ -1725,11 +1729,17 @@
     }
   }
 
-  // FIXME: Do we want to create a nicely sugared type to use as the
-  // type for this explicit specialization?
+  // FIXME: We want to create a nicely sugared type to use as the
+  // type of this explicit specialization.
 
-  // Set the lexical context. If the tag has a C++ scope specifier,
-  // the lexical context will be different from the semantic context.
+  // C++ [temp.expl.spec]p9:
+  //   A template explicit specialization is in the scope of the
+  //   namespace in which the template was defined.
+  //
+  // We actually implement this paragraph where we set the semantic
+  // context (in the creation of the ClassTemplateSpecializationDecl),
+  // but we also maintain the lexical context where the actual
+  // definition occurs.
   Specialization->setLexicalDeclContext(CurContext);
   
   // We may be starting the definition of this specialization.

Modified: cfe/trunk/test/SemaTemplate/class-template-spec.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/SemaTemplate/class-template-spec.cpp?rev=65478&r1=65477&r2=65478&view=diff

==============================================================================
--- cfe/trunk/test/SemaTemplate/class-template-spec.cpp (original)
+++ cfe/trunk/test/SemaTemplate/class-template-spec.cpp Wed Feb 25 16:18:32 2009
@@ -52,8 +52,11 @@
 namespace N {
   template<typename T> struct B; // expected-note 2{{template is declared here}}
 
+  template<> struct ::N::B<char>; // okay
   template<> struct ::N::B<short>; // okay
   template<> struct ::N::B<int>; // okay
+
+  int f(int);
 }
 
 template<> struct N::B<int> { }; // okay
@@ -65,3 +68,7 @@
 
   template<> struct ::A<long double>; // expected-error{{class template specialization of 'A' must occur in the global scope}}
 }
+
+template<> struct N::B<char> { 
+  int testf(int x) { return f(x); }
+};