[Bug c++/21687] New: [4.0/4.1 Regression] ICE on valid code

[Bug c++/21687] New: [4.0/4.1 Regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

I know this goes against all the rules for filing bugs but when I supply -save-temps, I don't get an ICE.
The code is the code from PR 21685 with one exception, the following 2 lines are commented out (this 
makes this code valid):
              const value_iterator end = union_f(sets.begin(), sets.end(), 
output.begin()); 

It fails with "4.0.0 20050113"
The ICE is:
t.cc: In member function 'void OKlib::SetAlgorithms::Test_Union<Union>::perform_test_trivial()':
t.cc:94: internal compiler error: tree check: expected statement_list, have type_expr in 
finish_compound_stmt, at cp/semantics.c:1113
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: [4.0/4.1 Regression] ICE on valid code
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: critical
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-apple-darwin7.8.0
  GCC host triplet: powerpc-apple-darwin7.8.0
GCC target triplet: powerpc-apple-darwin7.8.0


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

[Bug c++/21687] [4.0/4.1 Regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-01 04:32 -------
I wonder if this is the same bug as PR 22139.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22139


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

[Bug c++/21687] [4.0/4.1 Regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-01 19:10 -------
Still happen as of "4.1.0 20050622".

-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

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


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

[Bug c++/21687] [4.0/4.1 Regression] ICE on valid code

[mmitchel at gcc dot gnu dot org]

-- 
Bug 21687 depends on bug 22139, which changed state.

Bug 22139 Summary: [4.0/4.1 regression] Segfault with templates and friend functions
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22139

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug c++/21687] [4.0/4.1 Regression] ICE on valid code

[steven at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-22 21:03:26
               date|                            |


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

[Bug c++/21687] [4.0/4.1 Regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 21:10 -------
Still reproducible with 4.1.0 20050720 but only with "--param ggc-min-expand=0 --param ggc-min-
heapsize=0", trying to reduce with delta.

-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE on valid code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 23:06 -------
Here is a reduced testcase with "--param ggc-min-expand=0 --param ggc-min-heapsize=0"
template <class Union>
class Test_Union
{
  void perform_test_trivial() {
    struct check_union {  void perform_test_trivial() {} };
  }
};


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|powerpc-apple-darwin7.8.0   |
   GCC host triplet|powerpc-apple-darwin7.8.0   |
 GCC target triplet|powerpc-apple-darwin7.8.0   |


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 23:08 -------
A little further:
template <class Union>
void perform_test_trivial() {
  struct check_union {  void perform_test_trivial() {} };
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0/4.1 Regression] ICE in |[4.0/4.1 Regression] ICE in
                   |GC with local class inside a|GC with local class inside a
                   |function inside a template  |template function
                   |class                       |


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 23:10 -------
It was broke before 20040909. 

-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 23:48 -------
Janis,
Could you figure out which patch caused this bug?
You can use the testcase in comment #4 or #5.  Just use
"--param ggc-min-expand=0 --param ggc-min-heapsize=0" to reproduce it.

Thanks,
Andrew Pinski

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janis at gcc dot gnu dot org


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[janis at gcc dot gnu dot org]

------- Additional Comments From janis at gcc dot gnu dot org  2005-07-23 15:51 -------
A regression hunt on powerpc-linux using the test case from comment #5 with the
options from comment #7 identified the following patch from rth:

  http://gcc.gnu.org/ml/gcc-cvs/2004-06/msg00641.html

-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-23 15:54 -------
Thanks Janis.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rth at gcc dot gnu dot org


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2005-07-25 18:18 -------
Whatever you might think, this is not my bug.

This is the C++ front end calling ggc_collect in the middle of parsing a
function.  I can't tell whether or not there is a ggc_push_context missing
when we begin parsing the local class, or if we simply shouldn't have the
collect in expand_or_defer_fn.

-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-25 16:45 -------
*** Bug 23562 has been marked as a duplicate of this bug. ***

-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[mmitchel at gcc dot gnu dot org]

-- 
           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=21687

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-02 18:23 -------
Subject: Bug 21687

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	mmitchel@gcc.gnu.org	2005-09-02 18:23:24

Modified files:
	gcc/cp         : parser.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/other: gc3.C 

Log message:
	PR c++/21687
	* parser.c (cp_parser_class_specifier): Push/pop GC contexts
	around functions in local classes.
	
	PR c++/21687
	* g++.dg/other/gc3.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.319.2.14&r2=1.319.2.15
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.368&r2=1.5084.2.369
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/gc3.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-02 18:31 -------
Subject: Bug 21687

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	mmitchel@gcc.gnu.org	2005-09-02 18:29:33

Modified files:
	gcc/cp         : ChangeLog parser.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/other: gc3.C 

Log message:
	PR c++/21687
	* parser.c (cp_parser_class_specifier): Push/pop GC contexts
	around functions in local classes.
	
	PR c++/21687
	* g++.dg/other/gc3.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4866&r2=1.4867
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&r1=1.353&r2=1.354
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5997&r2=1.5998
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/gc3.C.diff?cvsroot=gcc&r1=1.1&r2=1.2



-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2005-09-02 18:31 -------
Fixed in 4.0.2.

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


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-03 18:18 -------
Subject: Bug 21687

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	mmitchel@gcc.gnu.org	2005-09-03 18:18:48

Modified files:
	gcc/cp         : ChangeLog decl2.c parser.c semantics.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/ext: static1.C 

Log message:
	PR c++/23699
	* decl2.c (mark_used): Always instantiate static data members
	initialized by constant expressions.
	* pt.c (instantiate_decl): Instantiate the initializers for static
	data members initialized by constant expressions.
	
	PR c++/21687
	* semantics.c (expand_or_defer_fn): Do not call ggc_collect when
	finishing processing for a template function in a local class.
	Revert:
	2005-09-02  Mark Mitchell  <mark@codesourcery.com>
	* parser.c (cp_parser_class_specifier): Push/pop GC contexts
	around functions in local classes.
	
	PR c++/23699
	* g++.dg/ext/static1.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4867&r2=1.4868
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl2.c.diff?cvsroot=gcc&r1=1.795&r2=1.796
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&r1=1.354&r2=1.355
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&r1=1.483&r2=1.484
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5999&r2=1.6000
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/ext/static1.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/21687] [4.0/4.1 Regression] ICE in GC with local class inside a template function

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-03 18:29 -------
Subject: Bug 21687

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	mmitchel@gcc.gnu.org	2005-09-03 18:29:47

Modified files:
	gcc/testsuite  : ChangeLog 
	gcc/cp         : ChangeLog decl2.c parser.c pt.c semantics.c 
Added files:
	gcc/testsuite/g++.dg/ext: static1.C 

Log message:
	PR c++/23699
	* decl2.c (mark_used): Always instantiate static data members
	initialized by constant expressions.
	* pt.c (instantiate_decl): Instantiate the initializers for static
	data members initialized by constant expressions.
	
	PR c++/21687
	* semantics.c (expand_or_defer_fn): Do not call ggc_collect when
	finishing processing for a template function in a local class.
	Revert:
	2005-09-02  Mark Mitchell  <mark@codesourcery.com>
	* parser.c (cp_parser_class_specifier): Push/pop GC contexts
	around functions in local classes.
	
	PR c++/23699
	* g++.dg/ext/static1.C: New test.

Patches:
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.369&r2=1.5084.2.370
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/ext/static1.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/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.88&r2=1.4648.2.89
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl2.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.770.2.4&r2=1.770.2.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.319.2.15&r2=1.319.2.16
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.20&r2=1.978.2.21
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.6&r2=1.463.2.7



-- 


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