[Bug c++/43206] New: [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[Bug c++/43206] New: [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[hjl dot tools at gmail dot com]

Revision 145440:

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

caused:

[hjl@gnu-34 rrs]$ cat pr43087.cc
template<class A> class NumericTraits{};
template<class B> class CovariantVector{};
template<class C> class Image{};
template<class H,
         class E,
         class D>
class F {
  typedef H G;
  typedef
  typename NumericTraits<typename G::PixelType>::RealType
  InputRealType;
};
template<typename TInputImage,
  typename TOutputImage=Image<
  CovariantVector<
  typename NumericTraits<
  typename TInputImage
::PixelType
>
::TInputImage
>
>
>
class XXX{};
XXX<Image<float> >
[hjl@gnu-34 rrs]$ ./145440/usr/bin/gcc -S pr43087.cc
pr43087.cc:25: internal compiler error: tree check: accessed elt 3 of tree_vec
with 2 elts in tsubst, at cp/pt.c:9249
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.5 Regression] Revision 145440 caused ICE at
                    cp/pt.c:9249
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: hjl dot tools at gmail dot com


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[hjl dot tools at gmail dot com]

-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.0


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2010-03-01 10:59 -------
Confirmed.  The testcase is invalid (apart from the missing semi-colon):

t.ii(9): error: class "Image<float>" has no member "PixelType"
  template<typename TInputImage, typename TOutputImage=Image< CovariantVector<
typename NumericTraits< typename TInputImage ::PixelType > ::TInputImage > > >
                                                                               
                                              ^
          detected during processing of template argument list for "XXX" based
on template argument <Image<float>> at line 12

or 4.4:

t.ii:12: error: no type named 'PixelType' in 'class Image<float>'
t.ii:12: error: template argument 2 is invalid
t.ii:12: error: invalid type in declaration before ';' token


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
      Known to work|                            |4.4.3
   Last reconfirmed|0000-00-00 00:00:00         |2010-03-01 10:59:37
               date|                            |


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[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-03-01 10:59:37         |2010-03-03 15:43:13
               date|                            |


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[dodji at gcc dot gnu dot org]

------- Comment #2 from dodji at gcc dot gnu dot org  2010-03-04 17:44 -------
I am testing a patch for this ...


-- 


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[dodji at gcc dot gnu dot org]

------- Comment #3 from dodji at gcc dot gnu dot org  2010-03-05 20:40 -------
A patch was proposed at http://gcc.gnu.org/ml/gcc-patches/2010-03/msg00226.html


-- 


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[dodji at gcc dot gnu dot org]

------- Comment #4 from dodji at gcc dot gnu dot org  2010-03-25 22:08 -------
Subject: Bug 43206

Author: dodji
Date: Thu Mar 25 22:08:33 2010
New Revision: 157730

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=157730
Log:
Fix candidate for PR c++/43206

gcc/cp/ChangeLog:
        PR c++/43206
        * cp-tree.h (get_template_parms_at_level): Declare ...
        * pt.c (get_template_parms_at_level): ... new function.
        * typeck.c (get_template_parms_of_dependent_type): If a template
        type parm's DECL_CONTEXT isn't yet set, get its siblings from
        current_template_parms. Use get_template_parms_at_level. Remove
        useless test.
        (incompatible_dependent_types_p): If we get empty parms from just one
        of the template type parms we are comparing then the template parms are
        incompatible.

gcc/testsuite/ChangeLog:
        PR c++/43206
        * g++.dg/template/typedef30.C: New test case.

Added:
    trunk/gcc/testsuite/g++.dg/template/typedef30.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[hjl dot tools at gmail dot com]

------- Comment #5 from hjl dot tools at gmail dot com  2010-03-26 00:27 -------
It failed to bootstrap on Linux/ia32:

cc1: warnings being treated as errors
../../src-trunk/gcc/cp/pt.c: In function 'get_template_parms_at_level':
../../src-trunk/gcc/cp/pt.c:2851:16: error: comparison between signed and
unsigned integer expressions
../../src-trunk/gcc/cp/pt.c:2855:30: error: comparison between signed and
unsigned integer expressions


-- 


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

[Bug c++/43206] [4.5 Regression] Revision 145440 caused ICE at cp/pt.c:9249

[dodji at gcc dot gnu dot org]

------- Comment #6 from dodji at gcc dot gnu dot org  2010-03-26 09:30 -------
Fixed in 4.5
The bootstrap failure should be fixed by
http://gcc.gnu.org/viewcvs?view=revision&revision=157743


-- 

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=43206