Hi,

seems just one of these straightforward cases where we don't propagate the complain argument thoroughly enough. Tested x86_64-linux.

Ok for mainline?

Thanks,
Paolo.

/////////////
/cp
2011-09-08  Paolo Carlini  <paolo.carl...@oracle.com>

        PR c++/50324
        * typeck2.c (digest_init_r): Call complete_type_or_maybe_complain
        instead of complete_type_or_else.

/testsuite
2011-09-08  Paolo Carlini  <paolo.carl...@oracle.com>

        PR c++/50324
        * g++.dg/cpp0x/sfinae28.C: New.
Index: testsuite/g++.dg/cpp0x/sfinae28.C
===================================================================
--- testsuite/g++.dg/cpp0x/sfinae28.C   (revision 0)
+++ testsuite/g++.dg/cpp0x/sfinae28.C   (revision 0)
@@ -0,0 +1,16 @@
+// PR c++/50324
+// { dg-options -std=c++0x }
+
+struct complete { };
+struct incomplete;
+
+template<class T> auto f(T *) -> decltype(T{}) *;
+template<class T> char f(T);
+
+int main()
+{
+  complete *p = 0;
+  static_assert(sizeof(f(p)) == sizeof(void*), "");
+  incomplete *q = 0;
+  static_assert(sizeof(f(q)) == 1u, "");
+}
Index: cp/typeck2.c
===================================================================
--- cp/typeck2.c        (revision 178685)
+++ cp/typeck2.c        (working copy)
@@ -1,7 +1,7 @@
 /* Report error messages, build initializers, and perform
    some front-end optimizations for C++ compiler.
    Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
-   1999, 2000, 2001, 2002, 2004, 2005, 2006, 2007, 2008, 2009, 2010
+   1999, 2000, 2001, 2002, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011
    Free Software Foundation, Inc.
    Hacked by Michael Tiemann (tiem...@cygnus.com)
 
@@ -812,8 +812,9 @@ digest_init_r (tree type, tree init, bool nested,
 
   /* We must strip the outermost array type when completing the type,
      because the its bounds might be incomplete at the moment.  */
-  if (!complete_type_or_else (TREE_CODE (type) == ARRAY_TYPE
-                             ? TREE_TYPE (type) : type, NULL_TREE))
+  if (!complete_type_or_maybe_complain (TREE_CODE (type) == ARRAY_TYPE
+                                       ? TREE_TYPE (type) : type, NULL_TREE,
+                                       complain))
     return error_mark_node;
 
   /* Strip NON_LVALUE_EXPRs since we aren't using as an lvalue

Reply via email to