[Bug c++/27465] New: ICE on dependent const folding

[Bug c++/27465] New: ICE on dependent const folding

[tneumann at pi3 dot informatik dot uni-mannheim dot de]

Performing constant calculations depending on template parameters causes an
internal compiler error. Compile the code below with g++ -c foo.cpp to
reproduce.

template <class T> struct A {
   static const unsigned a = (sizeof(T[3])-sizeof(T[2]));
   unsigned foo(unsigned b) { return a*b; }
};

I do not get the ICE when compiling the code with my distribution compiler
(Ubuntu Dapper gcc 4.0.3), only with my self-compiled 4.0.3 that has checking
enabled. I only noticed this by accident when I build a checking compiler to
hunt a different gcc bug.
My configuration options as shown by g++ -v (mostly copied from the
distribution compiler):
../configure --enable-languages=c,c++ --prefix=/home/tneumann/gcc4
--enable-shared --with-system-zlib --without-included-gettext
--enable-threads=posix --enable-nls --enable-__cxa_atexit --enable-clocale=gnu
--enable-libstdcxx-debug --disable-werror --enable-checking --disable-multilib
x86_64-linux-gnu


-- 
           Summary: ICE on dependent const folding
           Product: gcc
           Version: 4.0.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tneumann at pi3 dot informatik dot uni-mannheim dot de
  GCC host triplet: x86_64-linux-gnu


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

[Bug c++/27465] [4.0 only] ICE on dependent const folding

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-05-07 03:11 -------
This was fixed for sure by PR 23357.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23357
            Summary|ICE on dependent const      |[4.0 only] ICE on dependent
                   |folding                     |const folding
   Target Milestone|---                         |4.0.4


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

[Bug c++/27465] [4.0 only] ICE on dependent const folding

[bangerth at dealii dot org]

------- Comment #2 from bangerth at dealii dot org  2006-05-26 15:18 -------
This works fine with 4.0.2, and 4.1-pre and 4.2-pre snapshots I have here.
Could you check that it works for you as well with a recent snapshot?

Thanks
 W.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug c++/27465] [4.0 only] ICE on dependent const folding

[tneumann at pi3 dot informatik dot uni-mannheim dot de]

------- Comment #3 from tneumann at pi3 dot informatik dot uni-mannheim dot de  2006-05-26 16:35 -------
This still happens with gcc-4.0-20060518, see the error message below. The
gcc-4.[12] branches presumably work, I only tried 4.1.

./gcc4/bin/g++ -c foo.cpp
foo.cpp: In member function 'unsigned int A<T>::foo(unsigned int)':
foo.cpp:3: internal compiler error: tree check: expected class 'type', have
'type' (array_type) in operand_equal_p, at fold-const.c:2404
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 

tneumann at pi3 dot informatik dot uni-mannheim dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |UNCONFIRMED


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

[Bug c++/27465] [4.0 only] ICE on dependent const folding

[gdr at gcc dot gnu dot org]

------- Comment #4 from gdr at gcc dot gnu dot org  2007-02-03 16:56 -------
Works in GCC-4.1.x.  Won't fix in GCC-4.0.x.


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |WONTFIX


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