[Bug c++/43704] New: [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[Bug c++/43704] New: [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[rguenth at gcc dot gnu dot org]

> g++-4.5 -S bug-593923_integrals.3.ii
bug-593923_integrals.3.ii: In instantiation of
'boost::numeric::ublas::banded_adaptor<boost::numeric::ublas::matrix<double>
>::iterator1':
bug-593923_integrals.3.ii:500:50:   instantiated from 'void
lsp::singular_decomposition<T>::apply(M1&, M2&) const [with M1 =
boost::numeric::ublas::matrix<double>, M2 =
boost::numeric::ublas::matrix<double>, T =
boost::numeric::ublas::matrix<double>]'
bug-593923_integrals.3.ii:555:27:   instantiated from here
bug-593923_integrals.3.ii:467:17: internal compiler error: tree check: accessed
elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of
                    tree_vec with 1 elts in tsubst, at cp/pt.c:10074
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.1


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2010-04-09 15:08 -------
Created an attachment (id=20347)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20347&action=view)
autoreduced testcase


-- 


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2010-04-09 19:15 -------
Created an attachment (id=20350)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20350&action=view)
More reduced


-- 


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2010-04-09 19:20 -------
Created an attachment (id=20351)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20351&action=view)
More reduced


-- 


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2010-04-09 19:44 -------
Fully reduced:
 template<       typename T2    , typename T3      > struct if_ {
      typedef T2 type;
 };
template<class I1>     struct iterator_restrict_traits { };
template<class T>     class matrix  {
 class ci {};
 class i {};
};
template<class M, class TRI>     struct triangular_adaptor  {
   typedef typename if_<typename M::ci,typename M::i>::type ty1;
   class iterator2 :    iterator_restrict_traits<typename
ty1::ic>::iterator_category  { };
};
template<class M>     struct banded_adaptor  {
  typedef typename if_<typename M::ci,typename M::i>::type ty1;
  class iterator1 :  iterator_restrict_traits<typename
ty1::ic>::iterator_category  { };
};
template<class T>
struct singular_decomposition {
  banded_adaptor< matrix< double > >::iterator1 it1;
};


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-04-09 19:44:08
               date|                            |


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[hjl dot tools at gmail dot com]

------- Comment #5 from hjl dot tools at gmail dot com  2010-04-15 14:57 -------
The failure of the testcase in comment #1 is caused
by revision 145440:

http://gcc.gnu.org/ml/gcc-cvs/2009-04/msg00060.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dseketel at redhat dot com


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[dodji at gcc dot gnu dot org]

-- 

dodji at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dodji at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-04-09 19:44:08         |2010-04-15 19:08:18
               date|                            |


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[dodji at gcc dot gnu dot org]

------- Comment #6 from dodji at gcc dot gnu dot org  2010-04-15 21:13 -------
A patch was posted to http://gcc.gnu.org/ml/gcc-patches/2010-04/msg00928.html


-- 


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[dodji at gcc dot gnu dot org]

------- Comment #7 from dodji at gcc dot gnu dot org  2010-04-19 09:32 -------
Subject: Bug 43704

Author: dodji
Date: Mon Apr 19 09:32:16 2010
New Revision: 158508

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158508
Log:
Fix PR c++/43704

gcc/cp/ChangeLog:
        PR c++/43704
        * typeck.c (structural_comptypes): Test dependent typedefs
        incompatibility before testing for their main variant based
        equivalence.

gcc/testsuite/ChangeLog:
        PR c++/43704
        * g++.dg/template/typedef32.C: New test.

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


-- 


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

[Bug c++/43704] [4.5/4.6 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[hjl dot tools at gmail dot com]

------- Comment #8 from hjl dot tools at gmail dot com  2010-04-19 14:44 -------
On Linux/ia32, I got

Executing on host:
/export/gnu/import/svn/gcc-test/bld/gcc/testsuite/g++2/../../g++
-B/export/gnu/import/svn/gcc-test/bld/gcc/testsuite/g++2/../../
/export/gnu/import/svn/gcc-test/src-trunk/gcc/testsuite/g++.dg/template/typedef32.C
 -nostdinc++
-I/export/gnu/import/svn/gcc-test/bld/i686-pc-linux-gnu/libstdc++-v3/include/i686-pc-linux-gnu
-I/export/gnu/import/svn/gcc-test/bld/i686-pc-linux-gnu/libstdc++-v3/include
-I/export/gnu/import/svn/gcc-test/src-trunk/libstdc++-v3/libsupc++
-I/export/gnu/import/svn/gcc-test/src-trunk/libstdc++-v3/include/backward
-I/export/gnu/import/svn/gcc-test/src-trunk/libstdc++-v3/testsuite/util
-fmessage-length=0   -ansi -pedantic-errors -Wno-long-long  -S  -o typedef32.s 
  (timeout = 300)
/export/gnu/import/svn/gcc-test/src-trunk/gcc/testsuite/g++.dg/template/typedef32.C:
In instantiation of 'banded_adaptor<matrix<double> >::iterator1':^M
/export/gnu/import/svn/gcc-test/src-trunk/gcc/testsuite/g++.dg/template/typedef32.C:43:46:
  instantiated from here^M
/export/gnu/import/svn/gcc-test/src-trunk/gcc/testsuite/g++.dg/template/typedef32.C:35:9:
error: no type named 'ic' in 'class banded_adaptor<matrix<double> >::ty1'^M


-- 


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

[Bug c++/43704] [4.5 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2010-04-20 18:10 -------
*** Bug 43822 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mr dot chr dot schmidt at
                   |                            |online dot de


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

[Bug c++/43704] [4.5 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[dodji at gcc dot gnu dot org]

------- Comment #10 from dodji at gcc dot gnu dot org  2010-04-20 19:24 -------
Subject: Bug 43704

Author: dodji
Date: Tue Apr 20 19:23:45 2010
New Revision: 158571

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158571
Log:
Fix PR c++/43800

gcc/cp/ChangeLog:
        PR c++/43800
        PR c++/43704
        * typeck.c (incompatible_dependent_types_p): If one of the
        compared types if not a typedef then honour their main variant
        equivalence.

gcc/testsuite/ChangeLog:
        PR c++/43800
        PR c++/43704
        * g++.dg/template/typedef32.C: Adjust.
        * g++.dg/template/typedef33.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/typedef33.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/template/typedef32.C


-- 


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

[Bug c++/43704] [4.5 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[dodji at gcc dot gnu dot org]

------- Comment #11 from dodji at gcc dot gnu dot org  2010-04-20 19:40 -------
Fixed in trunk (4.6) and 4.5.1.


-- 

dodji at gcc dot gnu dot org changed:

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


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

[Bug c++/43704] [4.5 Regression] ICE: tree check: accessed elt 2 of tree_vec with 1 elts in tsubst, at cp/pt.c:10074

[dodji at gcc dot gnu dot org]

------- Comment #11 from dodji at gcc dot gnu dot org  2010-04-20 19:40 -------
Fixed in trunk (4.6) and 4.5.1.


------- Comment #12 from dodji at gcc dot gnu dot org  2010-04-20 19:40 -------
Subject: Bug 43704

Author: dodji
Date: Tue Apr 20 19:40:11 2010
New Revision: 158572

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158572
Log:
Fix PR c++/43704

gcc/cp/ChangeLog:
        PR c++/43704
        * typeck.c (structural_comptypes): Test dependent typedefs
        incompatibility before testing for their main variant based
        equivalence.
        (incompatible_dependent_types_p): If one of the
        compared types if not a typedef then honour their main variant
        equivalence.

gcc/testsuite/ChangeLog:
        PR c++/43704
        * g++.dg/template/typedef32.C: New test.
        * g++.dg/template/typedef33.C: New test.


gcc/testsuite/ChangeLog:

Added:
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/template/typedef32.C
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/template/typedef33.C
Modified:
    branches/gcc-4_5-branch/gcc/cp/ChangeLog
    branches/gcc-4_5-branch/gcc/cp/typeck.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog


-- 

dodji at gcc dot gnu dot org changed:

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


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