[Bug c++/14246] New: Problems with templates, ice in write_template_arg_literal

[Bug c++/14246] New: Problems with templates, ice in write_template_arg_literal

[schmid at snake dot iap dot physik dot tu-darmstadt dot de]

The followimg file,  stripped down from the file types/types.C from the book C++
Template - The Complete Guide by  David Vandevoorde and Nicolai M. Josuttis,
causes an ice. It used to work with earlier versions of gcc 3.4. Gcc 3.3 has no
problems compiling this imho valid source code.


source code d.C

template <typename T>
class IsFundaT {
  public:
    enum { Yes = 0, No = 1};
};

template<> class IsFundaT<void> { public: enum { Yes = 1, No = 0 }; };
template<> class IsFundaT<bool> { public: enum { Yes = 1, No = 0 }; };
template<> class IsFundaT<signed int> { public: enum { Yes = 1, No = 0 }; };
template<> class IsFundaT<unsigned int> { public: enum { Yes = 1, No = 0 }; };

template<typename T>
class IsFunctionT {
  private:
    typedef char One;
    typedef struct { char a[2]; } Two;
    template<typename U> static One test(...);
    template<typename U> static Two test(U (*)[1]);
  public:
    enum { Yes = sizeof(IsFunctionT<T>::template test<T>(0)) == 1 };
    enum { No = !Yes };
};

template<typename T>
class CompoundT {
  public:
    enum { IsPtrT = 0, IsRefT = 0, IsArrayT = 0,
           IsFuncT = IsFunctionT<T>::Yes,
           IsPtrMemT = 0 };
    typedef T BaseT;
    typedef T BottomT;
    typedef CompoundT<void> ClassT;
};


struct SizeOverOne { char c[2]; };

template<typename T,
         bool convert_possible = !CompoundT<T>::IsFuncT>
class ConsumeUDC {
  public:
    operator T() const;
};

template <typename T>
class ConsumeUDC<T, false> {
};

template <bool convert_possible>
class ConsumeUDC<void, convert_possible> {
};

char enum_check(bool);
char enum_check(signed int);
char enum_check(unsigned int);


SizeOverOne enum_check(...);

template<typename T>
class IsEnumT {
  public:
    enum { Yes = IsFundaT<T>::No &&
                 sizeof(enum_check(ConsumeUDC<T>()))==1 };
    enum { No = !Yes };
};


template <typename T>
class TypeT {
  public:
    enum { IsFundaT = IsFundaT<T>::Yes,
           IsEnumT = IsEnumT<T>::Yes } ;
};

template <typename T>
void check()
{
    if (TypeT<T>::IsFundaT) { return 1;}
}


int main()
{
     check<int>();

}
g++ -W -Wall d.C -v
Reading specs from /usr/local/lib/gcc/i686-pc-linux-gnu/3.4.0/specs
Configured with: ../gcc/configure --enable-threads=posix
--enable-languages=c,c++,f77,objc --enable-__cxa_atexit --enable-libstdcxx-debug
Thread model: posix
gcc version 3.4.0 20040221 (prerelease)
 /usr/local/libexec/gcc/i686-pc-linux-gnu/3.4.0/cc1plus -quiet -v -D_GNU_SOURCE
d.C -quiet -dumpbase d.C -mtune=pentiumpro -auxbase d -W -Wall -version -o
/tmp/ccSfyb76.s
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory
"/usr/local/lib/gcc/i686-pc-linux-gnu/3.4.0/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/lib/gcc/i686-pc-linux-gnu/3.4.0/../../../../include/c++/3.4.0
 /usr/local/lib/gcc/i686-pc-linux-gnu/3.4.0/../../../../include/c++/3.4.0/i686-pc-linux-gnu
 /usr/local/lib/gcc/i686-pc-linux-gnu/3.4.0/../../../../include/c++/3.4.0/backward
 /usr/local/include
 /usr/local/lib/gcc/i686-pc-linux-gnu/3.4.0/include
 /usr/include
End of search list.
GNU C++ version 3.4.0 20040221 (prerelease) (i686-pc-linux-gnu)
	compiled by GNU C version 3.4.0 20040221 (prerelease).
GGC heuristics: --param ggc-min-expand=64 --param ggc-min-heapsize=64274
d.C: In instantiation of `IsEnumT<int>':
d.C:72:   instantiated from `TypeT<int>'
d.C:79:   instantiated from `void check() [with T = int]'
d.C:85:   instantiated from here
d.C:63: internal compiler error: in write_template_arg_literal, at cp/mangle.c:2125
Please submit a full bug report,
with preprocessed source if appropriate.

-- 
           Summary: Problems with templates, ice in
                    write_template_arg_literal
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P1
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: schmid at snake dot iap dot physik dot tu-darmstadt dot
                    de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c++/14246] Problems with templates, ice in write_template_arg_literal

[schwab at suse dot de]

------- Additional Comments From schwab at suse dot de  2004-02-22 23:06 -------
*** Bug 14247 has been marked as a duplicate of this bug. ***

-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-23 01:31 -------
Confirmed, a regression from 3.3.3.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |3.4.0 3.5.0
      Known to work|                            |3.3.1 3.3.3
   Last reconfirmed|0000-00-00 00:00:00         |2004-02-23 01:31:52
               date|                            |
            Summary|Problems with templates, ice|[3.4/3.5 Regression]
                   |in                          |Problems with templates, ice
                   |write_template_arg_literal  |in
                   |                            |write_template_arg_literal
   Target Milestone|---                         |3.4.0


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-23 02:15 -------
Redux:

---------------------------------------------
template <typename T>
struct A {
    enum { Yes = (sizeof(T) == 1) };
};

template<bool T>
struct B {
    void foo(void);
};

template struct B< !A<int>::Yes >;
---------------------------------------------

We crash trying to produce a mangled name for the instantiation of the foo() 
member function, because the template argument is an INTEGER_CST with value 1 
and type boolean instead of boolean_true_node.

-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-23 02:21 -------
Then the real problem is that fold (or someone else) is folding the constant value into something other 
than boolean_true_node or the abort is wrong here.

-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[s_gccbugzilla at nedprod dot com]

------- Additional Comments From s_gccbugzilla at nedprod dot com  2004-02-24 04:18 -------
I found this bug too in my Traits class when testing for polymorphism. It looks 
to be the same cause, so I won't bother posting my example preprocessor output 
unless anyone wants it?

Otherwise GCC v3.4 is a *huge* improvement over v3.2 and v3.3 especially (which 
is more broken than v3.2 for me :( ). It's much faster than previous version - 
kudos fellows, once this bug is fixed I can finally stop #ifdef __GNUC__ helper 
code. Thank you!

Cheers,
Niall


-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-24 04:37 -------
Niall Douglas, please file another bug, just in case this is not exactly the same bug.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |s_gccbugzilla at nedprod dot
                   |                            |com


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[s_gccbugzilla at nedprod dot com]

------- Additional Comments From s_gccbugzilla at nedprod dot com  2004-02-24 05:34 -------
Done at bug #14270

-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-24 15:29 -------
*** Bug 14270 has been marked as a duplicate of this bug. ***

-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-24 15:30 -------
a smaller testcase from PR 14270:
template<bool> struct A {};
A<!false> a;

-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-24 15:33 -------
The smaller testcase needs "-g", btw, otherwise the name won't be mangled and 
we don't hit the bug.

-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-02-24 15:35 -------
Without "-g" one can use the following redux:

=========================================
template<bool> struct A
{
  void foo();
};

template struct A<!false>;
=========================================


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |monitored


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-24 16:13 -------
Working on this.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |giovannibajo at libero dot
                   |dot org                     |it
             Status|NEW                         |ASSIGNED


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-24 17:37 -------
Patch posted, waiting for review:
http://gcc.gnu.org/ml/gcc-patches/2004-02/msg02232.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-26 02:17 -------
Subject: Bug 14246

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	giovannibajo@gcc.gnu.org	2004-02-26 02:17:27

Modified files:
	gcc/cp         : ChangeLog mangle.c 

Log message:
	PR c++/14246
	* mangle.c (write_template_arg_literal): Don't rely on identity for
	boolean constants.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3970&r2=1.3971
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/mangle.c.diff?cvsroot=gcc&r1=1.98&r2=1.99



-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-26 02:19 -------
Subject: Bug 14246

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	giovannibajo@gcc.gnu.org	2004-02-26 02:19:25

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/other: crash-3.C 

Log message:
	PR c++/14246
	* g++.dg/other/crash-3.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3539&r2=1.3540
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/crash-3.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-26 02:44 -------
Subject: Bug 14246

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	giovannibajo@gcc.gnu.org	2004-02-26 02:44:28

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/other: crash-3.C 

Log message:
	PR c++/14246
	* g++.dg/other/crash-3.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3389.2.107&r2=1.3389.2.108
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/crash-3.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-26 02:44 -------
Subject: Bug 14246

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	giovannibajo@gcc.gnu.org	2004-02-26 02:44:00

Modified files:
	gcc/cp         : ChangeLog mangle.c 

Log message:
	PR c++/14246
	* mangle.c (write_template_arg_literal): Don't rely on identity for
	boolean constants.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3892.2.59&r2=1.3892.2.60
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/mangle.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.95.2.3&r2=1.95.2.4



-- 


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

[Bug c++/14246] [3.4/3.5 Regression] Problems with templates, ice in write_template_arg_literal

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-26 02:45 -------
Fixed in GCC 3.4.0 and 3.5.0. Thank you for your report!

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


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