[cfe-commits] r94948 - in /cfe/trunk: lib/AST/DeclTemplate.cpp test/CXX/temp/temp.res/temp.local/p1.cpp

[Chandler Carruth]

Author: chandlerc
Date: Sun Jan 31 01:24:03 2010
New Revision: 94948

URL: http://llvm.org/viewvc/llvm-project?rev=94948&view=rev
Log:
Fix PR6156 and test several of the basic aspects of non-type template arguments
when implicitly supplied to the injected class name.

Added:
    cfe/trunk/test/CXX/temp/temp.res/temp.local/p1.cpp
Modified:
    cfe/trunk/lib/AST/DeclTemplate.cpp

Modified: cfe/trunk/lib/AST/DeclTemplate.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/DeclTemplate.cpp?rev=94948&r1=94947&r2=94948&view=diff

==============================================================================
--- cfe/trunk/lib/AST/DeclTemplate.cpp (original)
+++ cfe/trunk/lib/AST/DeclTemplate.cpp Sun Jan 31 01:24:03 2010
@@ -213,7 +213,8 @@
       TemplateArgs.push_back(TemplateArgument(ParamType));
     } else if (NonTypeTemplateParmDecl *NTTP =
                  dyn_cast<NonTypeTemplateParmDecl>(*Param)) {
-      Expr *E = new (Context) DeclRefExpr(NTTP, NTTP->getType(),
+      Expr *E = new (Context) DeclRefExpr(NTTP,
+                                          NTTP->getType().getNonReferenceType(),
                                           NTTP->getLocation());
       TemplateArgs.push_back(TemplateArgument(E));
     } else {

Added: cfe/trunk/test/CXX/temp/temp.res/temp.local/p1.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/temp/temp.res/temp.local/p1.cpp?rev=94948&view=auto

==============================================================================
--- cfe/trunk/test/CXX/temp/temp.res/temp.local/p1.cpp (added)
+++ cfe/trunk/test/CXX/temp/temp.res/temp.local/p1.cpp Sun Jan 31 01:24:03 2010
@@ -0,0 +1,33 @@
+// RUN: %clang_cc1 -fsyntax-only -verify %s
+
+// C++0x [temp.local]p1:
+//   Like normal (non-template) classes, class templates have an
+//   injected-class-name (Clause 9). The injected-class-name can be used with
+//   or without a template-argument-list. When it is used without
+//   a template-argument-list, it is equivalent to the injected-class-name
+//   followed by the template-parameters of the class template enclosed in <>.
+
+template <typename T> struct X0 {
+  X0();
+  ~X0();
+  X0 f(const X0&);
+};
+
+// Test non-type template parameters.
+template <int N1, const int& N2, const int* N3> struct X1 {
+  X1();
+  ~X1();
+  X1 f(const X1& x1a) { X1 x1b(x1a); return x1b; }
+};
+
+//   When it is used with a template-argument-list, it refers to the specified
+//   class template specialization, which could be the current specialization
+//   or another specialization.
+// FIXME: Test this clause.
+
+int i = 42;
+int* iptr = &i;
+void test() {
+  X0<int> x0; (void)x0;
+  X1<42, i, iptr> x1; (void)x1;
+}