PR c++/38597

        * name-lookup.c (arg_assoc_type): Handle DECLTYPE_TYPE.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@142868 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 19af86c..94e1a7c 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2008-12-21  Jason Merrill  <jason@redhat.com>
+
+       PR c++/38597
+       * name-lookup.c (arg_assoc_type): Handle DECLTYPE_TYPE.
+
 2008-12-20  Jakub Jelinek  <jakub@redhat.com>
            Manuel López-Ibáñez  <manu@gcc.gnu.org>
 

diff --git a/gcc/cp/mangle.c b/gcc/cp/mangle.c
index 1ec27c1..a7b4662 100644 (file)
--- a/gcc/cp/mangle.c
+++ b/gcc/cp/mangle.c
@@ -2348,12 +2348,12 @@ write_expression (tree expr)
 
        case CAST_EXPR:
          write_type (TREE_TYPE (expr));
+         /* There is no way to mangle a zero-operand cast like
+            "T()".  */
          if (!TREE_OPERAND (expr, 0))
-           /* "T()" is mangled as "T(void)".  */
-           write_char ('v');
+           sorry ("zero-operand casts cannot be mangled due to a defect "
+                  "in the C++ ABI");
          else if (list_length (TREE_OPERAND (expr, 0)) > 1)
-           /* FIXME the above hack for T() needs to be replaced with
-              something more general.  */
            sorry ("mangling function-style cast with more than one argument");
          else
            write_expression (TREE_VALUE (TREE_OPERAND (expr, 0)));

diff --git a/gcc/cp/name-lookup.c b/gcc/cp/name-lookup.c
index b5d14b3..4c06afd 100644 (file)
--- a/gcc/cp/name-lookup.c
+++ b/gcc/cp/name-lookup.c
@@ -4701,6 +4701,7 @@ arg_assoc_type (struct arg_lookup *k, tree type)
     case VECTOR_TYPE:
     case BOOLEAN_TYPE:
     case FIXED_POINT_TYPE:
+    case DECLTYPE_TYPE:
       return false;
     case RECORD_TYPE:
       if (TYPE_PTRMEMFUNC_P (type))

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 11feb22..88d4c38 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-12-21  Jason Merrill  <jason@redhat.com>
+
+       PR c++/38597
+       * g++.dg/cpp0x/auto13.C: New test.
+
 2008-12-20  Jakub Jelinek  <jakub@redhat.com>
            Manuel López-Ibáñez  <manu@gcc.gnu.org>
 

diff --git a/gcc/testsuite/g++.dg/cpp0x/auto13.C b/gcc/testsuite/g++.dg/cpp0x/auto13.C
new file mode 100644 (file)
index 0000000..dc7e35a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/auto13.C
@@ -0,0 +1,11 @@
+// PR c++/38597
+// { dg-options "-std=c++0x" }
+
+template<class T, class U>
+auto f(T,U) -> decltype(T() + U())
+{ return T() + U(); }
+
+template<class T> void g(T){}
+
+int main() { g(f); }           // { dg-error "no matching function" }
+