Bug 15554 - [3.4/4.0 Regression] ICE in tsubst_copy, at cp/pt.c:7433

Description:

Last confirmed: 2004-05-20 17:21

Opened: 2004-05-20 16:54

g++ ICE on two-line code using May 18 CVS gcc-3_4-branch (I do not
have the 3.4 relese to test):

template <int n> struct T1 { enum { N = 3 }; };
template <int n> struct T2 { enum { N = 3, N1 = T1<N>::N }; };

Environment:

System: AIX vlad 1 5 0005BA2F4C00
host: powerpc-ibm-aix5.1.0.0
build: powerpc-ibm-aix5.1.0.0
target: powerpc-ibm-aix5.1.0.0
configured with: /.../configure --prefix=... --with-local-prefix=... --enable-languages=c,c++,java --enable-version-specific-runtime-libs --disable-nls

How-To-Repeat:

cat > ice.C << EOF
template <int n> struct T1 { enum { N = 3 }; };
template <int n> struct T2 { enum { N = 3, N1 = T1<N>::N }; };
EOF
g++ -c ice.C      
ice.C:2: internal compiler error: in tsubst_copy, at cp/pt.c:7433
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

------- Comment #1 From Andrew Pinski 2004-05-20 17:21 -------

Confirmed.

The mainline has a slightly different ICE:
pr15554.cc:2: internal compiler error: tree check: expected enumeral_type, have integer_type in 
tsubst_copy, at cp/pt.c:7436

------- Comment #3 From CVS Commits 2004-06-07 15:52 -------

Subject: Bug 15554

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	mmitchel@gcc.gnu.org	2004-06-07 15:52:23

Modified files:
	gcc            : ChangeLog c-common.c 
	gcc/cp         : ChangeLog except.c parser.c pt.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/eh: throw1.C 
	gcc/testsuite/g++.dg/expr: sizeof3.C 
	gcc/testsuite/g++.dg/template: access14.C enum1.C 

Log message:
	PR c++/15337
	* error.c (c_sizeof_or_alignof_type): Use more detailed error
	message.
	
	PR c++/15766
	* parser.c (cp_parser_iteration_statement): Fix typo in error
	message.
	
	PR c++/14777
	* pt.c (tsubst_default_argument): Do not defer access checks
	while substituting into the default argument.
	
	PR c++/15554
	* pt.c (tsubst_copy): Do not try to substitute for an enumeration
	constant in a non-dependent context.
	
	PR c++/15057
	* except.c (build_throw): Ensure that temp_expr has been
	initialized.
	
	PR c++/15337
	* g++.dg/expr/sizeof3.C: New test.
	
	PR c++/14777
	* g++.dg/template/access14.C: New test.
	
	PR c++/15554
	* g++.dg/template/enum1.C: New test.
	
	PR c++/15057
	* g++.dg/eh/throw1.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=2.2326.2.470&r2=2.2326.2.471
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-common.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.476.4.6&r2=1.476.4.7
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.115&r2=1.3892.2.116
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/except.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.164.4.4&r2=1.164.4.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.157.2.31&r2=1.157.2.32
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.816.2.28&r2=1.816.2.29
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.197&r2=1.3389.2.198
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/eh/throw1.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/expr/sizeof3.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/access14.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/enum1.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1

------- Comment #7 From Zoltan Hidvegi 2004-06-08 16:46 -------

(In reply to comment #5)
> Fixed in GCC 3.4.1.

The ICE is fixed, however the real construct I am trying to
use is still not working.  Consider a slight modification
of the testcase:

template <int n> struct T1 { enum { N = 3 }; };
template <int n> struct T2 { enum { N = n, N1 = T1<N>::N }; };

This gives the following error message:

ice.C:2: error: non-constant `n' cannot be used as template argument
ice.C:2: error: `N' is not a member of `<declaration error>'

------- Comment #8 From Zoltan Hidvegi 2004-06-08 16:55 -------

(In reply to comment #7)
> template <int n> struct T2 { enum { N = n, N1 = T1<N>::N }; };

It seems it does not like incomplete enums, since this works:

template <int n> struct T2
{ enum { N = n }; enum { N1 = T1<N>::N }; };

Bug 15554 depends on:			Show dependency tree Show dependency graph
Bug 15554 blocks:			Show dependency tree Show dependency graph

GCC Bugzilla Bug 15554

[3.4/4.0 Regression] ICE in tsubst_copy, at cp/pt.c:7433

Last modified: 2004-10-30 21:11:40

Known to work:
Known to fail: