[Bug c++/22464] New: ICE on classes in template functions which attempt closure

[Bug c++/22464] New: ICE on classes in template functions which attempt closure

[albertm at uphs dot upenn dot edu]

Error message: 
 
<prompt>:g++ -c bug02.cc 
bug02.cc: In constructor ?do_something(const T (*)[M])::helper_t::helper_t() 
[with T = double, int M = 3]?: 
bug02.cc:10:   instantiated from ?void do_something(const T (*)[M]) [with T = 
double, int M = 3]? 
bug02.cc:16:   instantiated from here 
bug02.cc:6: internal compiler error: in tsubst_copy, at cp/pt.c:7632 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions. 
 
The above is with gcc-4.0.0, but the identical happends with  
gcc-3.4.3 and  4.1.0 20050702 (experimental).  The code follows: 
 
--------------------------------bug02.cc----------------------------- 
template<typename T, int M> 
void do_something( const T A[M][M]) 
{ 
        struct helper_t{ 
                helper_t():B(new double [M*M]){  
                        B[0] = A[0][0]; 
                } 
                ~helper_t(){ delete[] B; } 
                double * B; 
        } helper; 
} 
 
void sub1() 
{ 
        double A[3][3]; 
        do_something(A); 
} 
-----------------------------end bug02.cc----------------------------- 
 
As always, thank you.  You folks do excellent work. 
 
Sincerely, 
 Mike Albert

-- 
           Summary: ICE on classes in template functions which attempt
                    closure
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: albertm at uphs dot upenn dot edu
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: x86_64-unknown-linux-gnu (AMD)


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-13 18:21 -------
Confirmed, this is invalid code, you cannot reference a local variable in a local class.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-13 18:21:44
               date|                            |
            Summary|ICE on classes in template  |[3.4/4.0/4.1 Regression] ICE
                   |functions which attempt     |on classes in template
                   |closure                     |functions which attempt
                   |                            |closure
   Target Milestone|---                         |3.4.5


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[albertm at uphs dot upenn dot edu]

------- Additional Comments From albertm at uphs dot upenn dot edu  2005-07-13 19:14 -------
*** Bug 22466 has been marked as a duplicate of this bug. ***

-- 


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-17 16:31 -------
*** Bug 22521 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |basile at starynkevitch dot
                   |                            |net


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 21:12 -------
Moving to 4.0.2 pre Mark.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.5                       |4.0.2


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-25 14:37 -------
If one removes the class instance "helper", the code compiles.
This is an accepts-invalid bug (which also appeared in gcc 3.4.0).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |accepts-invalid, monitored
      Known to fail|                            |3.4.0 4.0.0 4.1.0
      Known to work|                            |3.3.6


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.2                       |4.0.3


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[mmitchel at gcc dot gnu dot org]

------- Comment #9 from mmitchel at gcc dot gnu dot org  2005-10-13 08:41 -------
Fixed in 4.0.3.


-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[cvs-commit at gcc dot gnu dot org]

------- Comment #8 from cvs-commit at gcc dot gnu dot org  2005-10-13 08:38 -------
Subject: Bug 22464

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     mmitchel@gcc.gnu.org    2005-10-13 08:38:41

Modified files:
        gcc/cp         : call.c decl.c pt.c semantics.c ChangeLog 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/parse: friend5.C 
        gcc/testsuite/g++.dg/template: crash38.C crash39.C crash40.C 
                                       crash41.C friend38.C 

Log message:
        PR c++/22464
        * semantics.c (finish_id_expression): Issue errors about uses of
        local variables in containing functions even in templates.
        PR c++/22180
        * call.c (build_new_method_call): Correct pretty-printing of
        destructor names.
        * pt.c (tsubst_qualified_id): Recognize invalid uses of "~T" as an
        identifier.
        PR c++/23694
        * decl.c (start_method): Return error_mark_node for errors.
        PR c++/23307
        * pt.c (push_template_decl_real): Complain about attempts to
        declare template variables.
        PR c++/22352
        * pt.c (tsubst_template_parms): Set processing_template_decl while
        processing the parameters.
        (tsubst_decl): Set processing_template_decl when substituting into
        a TEMPLATE_DECL.
        PR c++/22405
        * pt.c (most_specialized_instantiation): Robustify.
        PR c++/22464
        * g++.dg/template/crash/41.C: New test.
        PR c++/22180
        * g++.dg/template/crash40.C: New test.
        PR c++/23694
        * g++.dg/parse/friend5.C: New test.

        PR c++/23307
        * g++.dg/template/crash38.C: New test.

        PR c++/22352
        * g++.dg/template/friend38.C: New test.

        PR c++/22405
        * g++.dg/template/crash39.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&r1=1.557&r2=1.558
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1432&r2=1.1433
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.1045&r2=1.1046
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&r1=1.491&r2=1.492
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4928&r2=1.4929
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/parse/friend5.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash38.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash39.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash40.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash41.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/friend38.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6186&r2=1.6187


-- 


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[cvs-commit at gcc dot gnu dot org]

------- Comment #7 from cvs-commit at gcc dot gnu dot org  2005-10-13 08:36 -------
Subject: Bug 22464

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     mmitchel@gcc.gnu.org    2005-10-13 08:36:38

Modified files:
        gcc/cp         : call.c decl.c pt.c semantics.c ChangeLog 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/g++.dg/parse: friend5.C 
        gcc/testsuite/g++.dg/template: crash38.C crash39.C crash40.C 
                                       crash41.C friend38.C 

Log message:
        PR c++/22464
        * semantics.c (finish_id_expression): Issue errors about uses of
        local variables in containing functions even in templates.
        PR c++/22180
        * call.c (build_new_method_call): Correct pretty-printing of
        destructor names.
        * pt.c (tsubst_qualified_id): Recognize invalid uses of "~T" as an
        identifier.
        PR c++/23694
        * decl.c (start_method): Return error_mark_node for errors.
        PR c++/23307
        * pt.c (push_template_decl_real): Complain about attempts to
        declare template variables.
        PR c++/22352
        * pt.c (tsubst_template_parms): Set processing_template_decl while
        processing the parameters.
        (tsubst_decl): Set processing_template_decl when substituting into
        a TEMPLATE_DECL.
        PR c++/22405
        * pt.c (most_specialized_instantiation): Robustify.
        PR c++/22464
        * g++.dg/template/crash/41.C: New test.
        PR c++/22180
        * g++.dg/template/crash40.C: New test.
        PR c++/23694
        * g++.dg/parse/friend5.C: New test.

        PR c++/23307
        * g++.dg/template/crash38.C: New test.

        PR c++/22352
        * g++.dg/template/friend38.C: New test.

        PR c++/22405
        * g++.dg/template/crash39.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.531.2.11&r2=1.531.2.12
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1371.2.25&r2=1.1371.2.26
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.978.2.31&r2=1.978.2.32
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.463.2.11&r2=1.463.2.12
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.129&r2=1.4648.2.130
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/parse/friend5.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash38.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash39.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash40.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash41.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/friend38.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.451&r2=1.5084.2.452


-- 


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/22464] [3.4/4.0/4.1 Regression] ICE on classes in template functions which attempt closure

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2005-10-05 05:03 -------
: Search converges between 2004-02-01-trunk (#445) and 2004-03-01-trunk (#446).
: Search converges between 2004-02-02-3.4 (#1) and 2004-03-01-3.4 (#2).


Hmm, this was introduced after 3.4 branched.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   GCC host triplet|x86_64-unknown-linux-gnu    |
                   |(AMD)                       |


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