[Bug c++/51416] New: [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[Bug c++/51416] New: [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[reichelt at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

             Bug #: 51416
           Summary: [c++0x] [4.6/4.7 Regression] ICE with invalid use of
                    auto
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: reichelt@gcc.gnu.org


The following code snippet triggers an ICE since GCC 4.6.0:

==========================================================
void foo();

template<typename T, typename... U> void foo(T, U... u)
{
  auto foo(u...);
}

void bar()
{
  foo(0);
}
==========================================================

bug.cc: In instantiation of 'void foo(T, U ...) [with T = int; U = {}]':
bug.cc:10:8:   required from here
bug.cc:5:16: internal compiler error: in build_zero_init_1, at cp/init.c:278
Please submit a full bug report, [etc.]

[Bug c++/51416] [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[reichelt at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code
   Target Milestone|---                         |4.6.3

[Bug c++/51416] [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/51416] [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-12-08
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-08 09:15:21 UTC ---
Started with http://gcc.gnu.org/viewcvs?view=revision&revision=163896

[Bug c++/51416] [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

[Bug c++/51416] [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-12-17 03:28:42 UTC ---
Author: jason
Date: Sat Dec 17 03:28:39 2011
New Revision: 182430

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182430
Log:
    PR c++/51416
    * init.c (build_value_init_noctor): Check for incomplete type.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/auto31.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic103.C

[Bug c++/51416] [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-12-17 13:51:55 UTC ---
Author: jason
Date: Sat Dec 17 13:51:51 2011
New Revision: 182435

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182435
Log:
    PR c++/51416
    * init.c (build_value_init_noctor): Check for incomplete type.

Modified:
    trunk/gcc/cp/init.c

[Bug c++/51416] [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-12-17 13:52:06 UTC ---
Author: jason
Date: Sat Dec 17 13:52:02 2011
New Revision: 182436

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182436
Log:
    PR c++/51416
    * init.c (build_value_init_noctor): Check for incomplete type.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/auto31.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/init.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/variadic103.C

[Bug c++/51416] [c++0x] [4.6/4.7 Regression] ICE with invalid use of auto

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51416

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-12-17 14:23:56 UTC ---
Fixed.