[Bug c++/11347] New: ICE on valid expression in default value for int argument to inner template.

[Bug c++/11347] New: ICE on valid expression in default value for int argument to inner template.

[dasendeistnah at gmx dot de]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: ICE on valid expression in default value for int
                    argument to inner template.
           Product: gcc
           Version: 3.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dasendeistnah at gmx 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

The data here is from gcc 3.3, but 2.95.3, 3.2.2, 3.4CVS also generate ICE.

bash-2.05$ g++3.3 -v -save-temps -c ice.C
Reading specs from /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/specs
Configured with: ../gcc-3.3/configure --prefix=/usr/local/gcc-3.3
--enable-threads --enable-version-specific-runtime-libs
Thread model: posix
gcc version 3.3
 /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/cc1plus -E -D__GNUG__=3
-quiet -v -D__GNUC__=3 -D__GNUC_MINOR__=3 -D__GNUC_PATCHLEVEL__=0 -D_GNU_SOURCE
ice.C ice.ii
ignoring nonexistent directory "/usr/local/gcc-3.3/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/include/c++
 /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/include/c++/i686-pc-linux-gnu
 /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/include/c++/backward
 /usr/local/include
 /usr/local/gcc-3.3/include
 /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/include
 /usr/include
End of search list.
 /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/cc1plus -fpreprocessed
ice.ii -quiet -dumpbase ice.C -auxbase ice -version -o ice.s
GNU C++ version 3.3 (i686-pc-linux-gnu)
        compiled by GNU C version 3.3.
GGC heuristics: --param ggc-min-expand=55 --param ggc-min-heapsize=48266
ice.C: In instantiation of `T2<int>':
ice.C:9:   instantiated from here
ice.C:6: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


# 1 "ice.C"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "ice.C"
template <class T> struct T1 {
  enum {N};
};

template<class T> struct T2 {
  template <class S, bool Z = T1<S>::N + 1> struct B {};
};

T2<int> t;

[Bug c++/11347] ICE on valid expression in default value for int argument to inner template.

[dasendeistnah at gmx dot de]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


dasendeistnah at gmx dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code

[Bug c++/11347] ICE on valid expression in default value for int argument to inner template.

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-06-27 11:43:37
               date|                            |


------- Additional Comments From pinskia at physics dot uc dot edu  2003-06-27 11:43 -------
I can confirm this on 2.91.66, 2.95.3, 3.0.4, 3.2.2, 3.2.3, 3.3.1 (20030616) and the mainline 
(20030626). Looks like this has been a problem for a very long time.

[Bug c++/11347] ICE on valid expression in default value for int argument to inner template.

[giovannibajo at libero dot it]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


giovannibajo at libero dot it changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |6730


------- Additional Comments From giovannibajo at libero dot it  2003-06-27 11:54 -------
It's the same problem of c++/6730, see http://gcc.gnu.org/bugzilla/show_bug.cgi?
id=6730#c3. I'll keep both open because they both give different but 
interesting testcases, and then I might be wrong :)

[Bug c++/11347] ICE on valid expression in default value for int argument to inner template.

[reichelt at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|6730                        |
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


------- Additional Comments From reichelt at gcc dot gnu dot org  2003-07-15 08:29 -------
Fixed on mainline.
(Testcase in preparation.)

BTW, it's not the same problem as in PR 6730, since this PR is still not fixed.

[Bug c++/11347] [3.4 regression] Error on valid expression in default value for int argument to inner template.

[reichelt at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nathan at codesourcery dot
                   |                            |com
             Status|RESOLVED                    |REOPENED
           Keywords|ice-on-valid-code           |rejects-valid
           Priority|P2                          |P1
         Resolution|FIXED                       |
            Summary|ICE on valid expression in  |[3.4 regression] Error on
                   |default value for int       |valid expression in default
                   |argument to inner template. |value for int argument to
                   |                            |inner template.


------- Additional Comments From reichelt at gcc dot gnu dot org  2003-07-28 08:13 -------
We now have an rejects-legal bug on mainline :-(

The error message is:

dPR11347.cc: In instantiation of `B<int>':
dPR11347.cc:16:   instantiated from here
dPR11347.cc:13: error: `e' is not a member of `A<T>'

Nathan, could you please have a look? Given the error message it seems
as if your patch for PR11617 is responsible for the regression.

[Bug c++/11347] [3.4 regression] Error on valid expression in default value for int argument to inner template.

[nathan at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


nathan at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |nathan at gcc dot gnu dot
                   |dot org                     |org
             Status|REOPENED                    |ASSIGNED

[Bug c++/11347] [3.4 regression] Error on valid expression in default value for int argument to inner template.

[nathan at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


nathan at gcc dot gnu dot org changed:

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


------- Additional Comments From nathan at gcc dot gnu dot org  2003-07-31 09:10 -------
2003-07-31  Nathan Sidwell  <nathan@codesourcery.com>

	PR c++/11347
	* pt.c (instantiate_class_template): Increment
	processing_template_decl around the tsubst of a template member
	class.
	(tsubst_qualified_id): Assert we do not have a dependent scope.

[Bug c++/11347] [3.4 regression] Error on valid expression in default value for int argument to inner template.

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-07-31 09:11 -------
Subject: Bug 11347

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	nathan@gcc.gnu.org	2003-07-31 09:10:58

Modified files:
	gcc/cp         : ChangeLog pt.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/template: memtmpl1.C 

Log message:
	cp:
	PR c++/11347
	* pt.c (instantiate_class_template): Increment
	processing_template_decl around the tsubst of a template member
	class.
	(tsubst_qualified_id): Assert we do not have a dependent scope.
	testsuite:
	PR c++/11347
	* g++.dg/template/memtmpl1.C: New.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3571&r2=1.3572
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.743&r2=1.744
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.2933&r2=1.2934
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/memtmpl1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1