[Bug c++/54858] New: [4.6/4.7/4.8 Regression] ICE in cp_tree_equal

[Bug c++/54858] New: [4.6/4.7/4.8 Regression] ICE in cp_tree_equal

[jakub at gcc dot gnu.org]

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

             Bug #: 54858
           Summary: [4.6/4.7/4.8 Regression] ICE in cp_tree_equal
    Classification: Unclassified
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: jakub@gcc.gnu.org
        ReportedBy: jakub@gcc.gnu.org


Starting with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=144618
// { dg-do compile }

template <int> struct A {};
template <typename T, T *> struct B {};
template <typename D> struct C
{
  A<0> c0; B<A<0>, &C::c0> d0;// { dg-error "could not convert template
argument" }
  A<0> c1; B<A<0>, &C::c1> d1;// { dg-error "could not convert template
argument" }
  A<0> c2; B<A<0>, &C::c2> d2;// { dg-error "could not convert template
argument" }
  A<0> c3; B<A<0>, &C::c3> d3;// { dg-error "could not convert template
argument" }
  A<0> c4; B<A<0>, &C::c4> d4;// { dg-error "could not convert template
argument" }
  A<0> c5; B<A<0>, &C::c5> d5;// { dg-error "could not convert template
argument" }
  A<0> c6; B<A<0>, &C::c6> d6;// { dg-error "could not convert template
argument" }
  A<0> c7; B<A<0>, &C::c7> d7;// { dg-error "could not convert template
argument" }
  A<0> c8; B<A<0>, &C::c8> d8;// { dg-error "could not convert template
argument" }
  A<0> c9; B<A<0>, &C::c9> d9;// { dg-error "could not convert template
argument" }
  A<0> ca; B<A<0>, &C::ca> da;// { dg-error "could not convert template
argument" }
  A<0> cb; B<A<0>, &C::cb> db;// { dg-error "could not convert template
argument" }
};
C<int> e;

ICEs in cp_tree_equal (prior to r149188 only two lines with dg-error are
actually needed to trigger it), no options needed.

[Bug c++/54858] [4.6/4.7/4.8 Regression] ICE in cp_tree_equal

[jakub at gcc dot gnu.org]

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

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-08 16:39:00 UTC ---
Created attachment 28390
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28390
gcc48-pr54858.patch

Untested fix.

[Bug c++/54858] [4.6/4.7/4.8 Regression] ICE in cp_tree_equal

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-10-08
   Target Milestone|---                         |4.6.4
     Ever Confirmed|0                           |1

[Bug c++/54858] [4.6/4.7/4.8 Regression] ICE in cp_tree_equal

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-08 19:40:01 UTC ---
Author: jakub
Date: Mon Oct  8 19:39:56 2012
New Revision: 192220

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192220
Log:
    PR c++/54858
    * tree.c (cp_tree_equal): Handle FIELD_DECL.

    * g++.dg/template/pr54858.C: New test.

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

[Bug c++/54858] [4.6/4.7/4.8 Regression] ICE in cp_tree_equal

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-08 19:42:12 UTC ---
Author: jakub
Date: Mon Oct  8 19:42:06 2012
New Revision: 192221

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192221
Log:
    PR c++/54858
    * tree.c (cp_tree_equal): Handle FIELD_DECL.

    * g++.dg/template/pr54858.C: New test.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/template/pr54858.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++/54858] [4.6 Regression] ICE in cp_tree_equal

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-03 18:19:25 UTC ---
Author: jakub
Date: Wed Apr  3 17:58:29 2013
New Revision: 197445

URL: http://gcc.gnu.org/viewcvs?rev=197445&root=gcc&view=rev
Log:
    Backported from mainline
    2012-10-08  Jakub Jelinek  <jakub@redhat.com>

    PR c++/54858
    * tree.c (cp_tree_equal): Handle FIELD_DECL.

    * g++.dg/template/pr54858.C: New test.

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