[Bug c++/43087] New: ICE

[Bug c++/43087] New: ICE

[jeffrey dot donner at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2597 bytes --]

jd@shade:~/software/itk/InsightToolkit-3.16.0/Testing/Code/BasicFilters$
/usr/local/gcc-svn/bin/c++ -v -save-temps -ftemplate-depth-50 -Wall -Wextra
-Wno-deprecated -msse2 -g -c itkBasicFiltersPrintTest.i
Using built-in specs.
COLLECT_GCC=/usr/local/gcc-svn/bin/c++
COLLECT_LTO_WRAPPER=/usr/local/gcc-svn/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc/configure --prefix=/usr/local/gcc-svn
--with-gmp=/usr/local/gmp --with-mpfr=/usr/local/mpfr --with-mpc=/usr/local/mpc
--disable-multilib --enable-languages=c,c++
Thread model: posix
gcc version 4.5.0 20100214 (experimental) (GCC)
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-ftemplate-depth-50' '-Wall' '-Wextra'
'-Wno-deprecated' '-msse2' '-g' '-c' '-shared-libgcc' '-mtune=generic'
 /usr/local/gcc-svn/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/cc1plus
-fpreprocessed itkBasicFiltersPrintTest.i -quiet -dumpbase
itkBasicFiltersPrintTest.i -msse2 -mtune=generic -auxbase
itkBasicFiltersPrintTest -g -Wall -Wextra -Wno-deprecated -version
-ftemplate-depth-50 -o itkBasicFiltersPrintTest.s
GNU C++ (GCC) version 4.5.0 20100214 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.5.0 20100214 (experimental), GMP version
4.3.2, MPFR version 2.4.2, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 4.5.0 20100214 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.5.0 20100214 (experimental), GMP version
4.3.2, MPFR version 2.4.2, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: f29f0d47dc304f45577b6b757a338046
/home/jd/software/itk/InsightToolkit-3.16.0/Testing/Code/BasicFilters/itkBasicFiltersPrintTest.cxx:
In function ‘int itkBasicFiltersPrintTest(int, char**)’:
/home/jd/software/itk/InsightToolkit-3.16.0/Testing/Code/BasicFilters/itkBasicFiltersPrintTest.cxx:375:54:
internal compiler error: tree check: accessed elt 3 of tree_vec with 2 elts in
tsubst, at cp/pt.c:9923
Please submit a full bug report,


-- 
           Summary: ICE
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jeffrey dot donner at gmail dot com
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug c++/43087] ICE

[jeffrey dot donner at gmail dot com]

------- Comment #1 from jeffrey dot donner at gmail dot com  2010-02-16 02:51 -------
Created an attachment (id=19885)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19885&action=view)
bz2 of pre-processed offending code


-- 


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

[Bug c++/43087] ICE

[hjl dot tools at gmail dot com]

------- Comment #2 from hjl dot tools at gmail dot com  2010-02-16 05:04 -------
It is caused by revision 155363:

http://gcc.gnu.org/ml/gcc-cvs/2009-12/msg00507.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dseketel at redhat dot com
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-02-16 05:04:28
               date|                            |


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

[Bug c++/43087] [4.5 Regression] ICE

[hjl dot tools at gmail dot com]

-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE                         |[4.5 Regression] ICE
   Target Milestone|---                         |4.5.0


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[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-02-16 05:04:28         |2010-02-16 10:31:30
               date|                            |


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2010-02-16 19:54 -------
Reducing a testcase.


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2010-02-18 00:17 -------
This works with revision 156834.


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[hjl dot tools at gmail dot com]

------- Comment #5 from hjl dot tools at gmail dot com  2010-02-18 15:40 -------
Revision 156792:

http://gcc.gnu.org/ml/gcc-cvs/2010-02/msg00375.html

made ICE disappear. I don't know if it really fixes
the bug or just hides it.


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[dodji at gcc dot gnu dot org]

------- Comment #6 from dodji at gcc dot gnu dot org  2010-02-21 20:19 -------
The resolution of PR c++/43036 seems related to array types only. So I don't
understand why it fixes this PR. I'd like to investigate a bit further.

The test case is too big for me to understand it so I am delta-reducing it and
it's taking time.


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[dodji at gcc dot gnu dot org]

------- Comment #7 from dodji at gcc dot gnu dot org  2010-02-26 00:40 -------
Created an attachment (id=19963)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19963&action=view)
Reduced test case

This is a somewhat reduced test case that is still way bigger than what I'd
like, but still better than nothing.


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[manu at gcc dot gnu dot org]

------- Comment #8 from manu at gcc dot gnu dot org  2010-02-27 17:44 -------
(In reply to comment #7)
> Created an attachment (id=19963)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19963&action=view) [edit]
> Reduced test case
> 
> This is a somewhat reduced test case that is still way bigger than what I'd
> like, but still better than nothing.

Hi, I have reduced the testcase in around half of its size and delta is still
running. Once it is finished, I will upload it.


-- 

manu at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manu at gcc dot gnu dot org


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[dodji at redhat dot com]

------- Comment #9 from dodji at gcc dot gnu dot org  2010-02-27 21:14 -------
Subject: Re:  [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

> Hi, I have reduced the testcase in around half of its size and delta 
> is still running. Once it is finished, I will upload it.

You mean half of the size of the reduced testcase I did attach?  That's 
interesting as delta was claiming it couldn't reduce it further for me.

Thank you for doing this, Manu.


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[manu at gcc dot gnu dot org]

------- Comment #10 from manu at gcc dot gnu dot org  2010-02-27 22:26 -------
Reduced testcase:

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


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[manu at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 317 bytes --]



------- Comment #11 from manu at gcc dot gnu dot org  2010-02-27 22:29 -------
Interestingly deleting the typedef H G; makes us give the following error:

pr43087-delta.ii:24:18: error: no type named ‘PixelType’ in ‘class
Image<float>’


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[manu at gcc dot gnu dot org]

------- Comment #12 from manu at gcc dot gnu dot org  2010-02-27 22:41 -------
I meant 'expanding the typedef'.

It would be nice to have a delta tool that expanded typedefs iteratively. Also,
it sometimes good to replace spaces by new lines to give delta larger search
space. I also use the following preprocessing:

cp -f $1 $1.bak
perl -i -0 -w -p -e 's/((class|struct)\s+[_A-Za-z]+)\s*\{/$1\{/sg;' $1
perl -i -0 -w -p -e 's/\{\s+\}/\{\}/sg;' $1
perl -i -0 -w -p -e 's/\s+\{/\{/sg;' $1
perl -i -0 -w -p -e 's/=\s+/=/sg;' $1
perl -i -0 -w -p -e 's/:\s+/:/sg;' $1
perl -i -0 -w -p -e 's/\s+\(/\(/sg;' $1
perl -i -0 -w -p -e 's/<([a-zA-Z_]+)/<\n$1/sg;' $1
perl -i -0 -w -p -e 's/([a-zA-Z_])>/$1\n>/sg;' $1
perl -i -0 -w -p -e 's/\n\n/\n/sg;' $1


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[hjl dot tools at gmail dot com]

------- Comment #13 from hjl dot tools at gmail dot com  2010-02-27 23:31 -------
(In reply to comment #10)
> Reduced testcase:
> 
> 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> >
> 

It may be a different issue since the original testcase
compiles with older gcc.


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[manu at gcc dot gnu dot org]

------- Comment #14 from manu at gcc dot gnu dot org  2010-02-27 23:45 -------
(In reply to comment #13)
> It may be a different issue since the original testcase
> compiles with older gcc.

It is still a regression from gcc 4.4.1:

pr43087-delta.ii:25: error: no type named 'PixelType' in 'class Image<float>'
pr43087-delta.ii:25: error: template argument 2 is invalid
pr43087-delta.ii:25: error: expected unqualified-id at end of input


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[hjl dot tools at gmail dot com]

------- Comment #15 from hjl dot tools at gmail dot com  2010-02-28 00:03 -------
(In reply to comment #14)
> (In reply to comment #13)
> > It may be a different issue since the original testcase
> > compiles with older gcc.
> 
> It is still a regression from gcc 4.4.1:
> 
> pr43087-delta.ii:25: error: no type named 'PixelType' in 'class Image<float>'
> pr43087-delta.ii:25: error: template argument 2 is invalid
> pr43087-delta.ii:25: error: expected unqualified-id at end of input
> 

This issue is caused by revision 145440:

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


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[hjl dot tools at gmail dot com]

------- Comment #16 from hjl dot tools at gmail dot com  2010-02-28 00:08 -------
(In reply to comment #15)
> (In reply to comment #14)
> > (In reply to comment #13)
> > > It may be a different issue since the original testcase
> > > compiles with older gcc.
> > 
> > It is still a regression from gcc 4.4.1:
> > 
> > pr43087-delta.ii:25: error: no type named 'PixelType' in 'class Image<float>'
> > pr43087-delta.ii:25: error: template argument 2 is invalid
> > pr43087-delta.ii:25: error: expected unqualified-id at end of input
> > 
> 
> This issue is caused by revision 145440:
> 
> http://gcc.gnu.org/ml/gcc-cvs/2009-04/msg00060.html
> 

I opened PR 43206 for it.


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |43206


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[manu at gcc dot gnu dot org]

------- Comment #17 from manu at gcc dot gnu dot org  2010-03-03 14:40 -------
(In reply to comment #13)
> It may be a different issue since the original testcase
> compiles with older gcc.

It is much tougher to get a testcase that compiled before but I managed to get
344K. Delta is still running so it would be better to focus on the other PR for
now. 


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[dodji at gcc dot gnu dot org]

------- Comment #18 from dodji at gcc dot gnu dot org  2010-03-05 20:44 -------
(In reply to comment #13)
> It may be a different issue since the original testcase
> compiles with older gcc.

How about this reduced test case that compiles with older (4.4) gcc:

template<class A> struct NumericTraits{ typedef A TInputImage;};
template<class B> class CovariantVector{};
template<class C> struct Image{ typedef C PixelType;};
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> > x;


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[dodji at gcc dot gnu dot org]

------- Comment #19 from dodji at gcc dot gnu dot org  2010-03-16 10:55 -------
FWIW, I have tested the patch posted for PR c++/43206 and it fixes this one
too.


-- 


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

[Bug c++/43087] [4.5 Regression] ICE in tsubst, at cp/pt.c:9923

[dodji at gcc dot gnu dot org]

------- Comment #20 from dodji at gcc dot gnu dot org  2010-03-26 09:31 -------
Should be fixed in 4.5 by the commit for PR c++/43206.


-- 

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