[Bug c++/53989] New: Internal compiler error in strip_typedefs, at cp/tree.c:1187

[Bug c++/53989] New: Internal compiler error in strip_typedefs, at cp/tree.c:1187

[gcc at limax dot org]

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

             Bug #: 53989
           Summary: Internal compiler error in strip_typedefs, at
                    cp/tree.c:1187
    Classification: Unclassified
           Product: gcc
           Version: 4.7.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gcc@limax.org


Running 'g++ -std=c++0x -c test.cpp' with the following source saved as
test.cpp:

---------------
struct Foo {
  int value;
  static Foo const foos[2];
};

void bar() {
  for (Foo f : Foo::foos) { (void) f; }
}
--------------

produces this result:

---------------
test.cpp: In function ‘void bar()’:
test.cpp:8:21: internal compiler error: in strip_typedefs, at cp/tree.c:1187
---------------


If I get rid of the 'value' member of Foo, or if I provide a definition of
Foo::foos before it is used by Bar, or if I change Foo::foos to be type 'Foo'
instead of type 'Foo const', or if I move Foo::foos outside of class Foo, I
don't see the error.

GCC was built using the following configuration:

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/tools/sw/gcc/471/rhel5-x86_64/libexec/gcc/x86_64-unknown-linux-gnu/4.7.1/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ./configure --prefix=/home/tools/sw/gcc/471/rhel5-x86_64
--with-gmp=/home/tools/sw/gcc/471/rhel5-x86_64
--with-ppl=/home/tools/sw/gcc/471/rhel5-x86_64
--with-cloog=/home/tools/sw/gcc/471/rhel5-x86_64 --enable-cloog-backend=isl
--with-system-zlib --enable-__cxa_atexit --enable-shared --enable-threads=posix
--enable-languages=c,c++,fortran
Thread model: posix
gcc version 4.7.1 (GCC)

[Bug c++/53989] [4.6/4.7 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[gcc at limax dot org]

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

Scott Howlett <gcc at limax dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Internal compiler error in  |[4.6/4.7 regression]
                   |strip_typedefs, at          |Internal compiler error in
                   |cp/tree.c:1187              |strip_typedefs, at
                   |                            |cp/tree.c:1187

--- Comment #1 from Scott Howlett <gcc at limax dot org> 2012-07-17 06:04:52 UTC ---
Works fine on similarly-configured gcc 4.6.2

[Bug c++/53989] [4.7/4.8 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-07-17
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at redhat dot com
   Target Milestone|---                         |4.7.2
            Summary|[4.6/4.7 regression]        |[4.7/4.8 regression]
                   |Internal compiler error in  |Internal compiler error in
                   |strip_typedefs, at          |strip_typedefs, at
                   |cp/tree.c:1187              |cp/tree.c:1187
     Ever Confirmed|0                           |1

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-07-17 07:42:04 UTC ---
Started to ICE with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=175215

[Bug c++/53989] [4.7/4.8 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|jason at redhat dot com     |jason at gcc dot gnu.org

[Bug c++/53989] [4.7 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
            Summary|[4.7/4.8 regression]        |[4.7 regression] Internal
                   |Internal compiler error in  |compiler error in
                   |strip_typedefs, at          |strip_typedefs, at
                   |cp/tree.c:1187              |cp/tree.c:1187

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 20:06:14 UTC ---
Seems to work on trunk.

[Bug c++/53989] [4.7 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-07-17 20:38:28 UTC ---
Indeed, went away with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186346
apparently.

[Bug c++/53989] [4.7 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 21:34:18 UTC ---
Author: jason
Date: Tue Jul 17 21:34:06 2012
New Revision: 189587

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189587
Log:
    PR c++/53989
    * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
    to the list of variants.

Added:
    trunk/gcc/testsuite/g++.dg/template/array23.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 21:34:30 UTC ---
Author: jason
Date: Tue Jul 17 21:34:22 2012
New Revision: 189588

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189588
Log:
    PR c++/53989
    * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
    to the list of variants.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/template/array23.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/tree.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug c++/53989] [4.7 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 21:34:18 UTC ---
Author: jason
Date: Tue Jul 17 21:34:06 2012
New Revision: 189587

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189587
Log:
    PR c++/53989
    * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
    to the list of variants.

Added:
    trunk/gcc/testsuite/g++.dg/template/array23.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/53989] [4.7 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jason at gcc dot gnu.org]

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

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> 2012-07-17 21:34:18 UTC ---
Author: jason
Date: Tue Jul 17 21:34:06 2012
New Revision: 189587

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189587
Log:
    PR c++/53989
    * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
    to the list of variants.

Added:
    trunk/gcc/testsuite/g++.dg/template/array23.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 21:34:30 UTC ---
Author: jason
Date: Tue Jul 17 21:34:22 2012
New Revision: 189588

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189588
Log:
    PR c++/53989
    * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
    to the list of variants.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/template/array23.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/tree.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 21:35:07 UTC ---
It was still broken on trunk if I used an explicit typedef.  Fixed now.

[Bug c++/53989] [4.7 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jason at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 21:34:30 UTC ---
Author: jason
Date: Tue Jul 17 21:34:22 2012
New Revision: 189588

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189588
Log:
    PR c++/53989
    * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
    to the list of variants.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/template/array23.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/tree.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 21:35:07 UTC ---
It was still broken on trunk if I used an explicit typedef.  Fixed now.

[Bug c++/53989] [4.7 regression] Internal compiler error in strip_typedefs, at cp/tree.c:1187

[jason at gcc dot gnu.org]

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

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

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-17 21:35:07 UTC ---
It was still broken on trunk if I used an explicit typedef.  Fixed now.