[Bug c++/12700] New: [g++ 3.4] ICE in size_binop

[Bug c++/12700] New: [g++ 3.4] ICE in size_binop

[grigory at stl dot sarov dot ru]

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

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

           Summary: [g++ 3.4] ICE in size_binop
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: grigory at stl dot sarov dot ru
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-redhat-linux
  GCC host triplet: i686-redhat-linux
GCC target triplet: i686-redhat-linux

Yet another ICE related to covariant thunks. G++ 3.4 gives it on the the test-
case listed below. This happens both on i686-redhat-linux and ia64-suse-linux.

$ g++ -c ice-2.cpp
ice-2.cpp:19: internal compiler error: in size_binop, at fold-const.c:1489
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


$ cat ice-2.cpp
struct c2 { int i; };

struct c1 {
    virtual c2& f8() {};
};

struct c3 : c1, c2 {
    virtual c2& f8() {};
};

struct c11 : public c1 {
    virtual c3& f8() {};
};

struct c15 : virtual c3 {
    virtual c2& f8() {};
};

struct c18 : virtual c11 {
    virtual c15& f8();
};

c15& c18::f8() { throw 0; };

[Bug c++/12700] ICE in size_binop with covariant return types

[bangerth at dealii 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=12700


bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[g++ 3.4] ICE in size_binop |ICE in size_binop with
                   |                            |covariant return types


------- Additional Comments From bangerth at dealii dot org  2003-10-21 13:33 -------
Confirmed.

[Bug c++/12700] ICE in size_binop with covariant return types

[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=12700


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
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |ASSIGNED
           Priority|P2                          |P1


------- Additional Comments From nathan at gcc dot gnu dot org  2003-10-21 13:51 -------
Possible ABI problem, so uping priority

[Bug c++/12700] ICE in size_binop with covariant return types

[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=12700


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-10-24 08:09 -------
2003-10-24  Nathan Sidwell  <nathan@codesourcery.com>

	PR c++/12698, c++/12699, c++/12700, c++/12566
	* cp-tree.h (THUNK_ALIAS_P, THUNK_ALIAS): New.
	(debug_class, debug_thunks): New.
	* class.c (dump_class_hierarchy_1): New break out from ...
	(dump_class_hierarchy): ... here.
	(dump_thunk, debug_thunks, debug_class): New.
	(update_vtable_entry_for_fn): Add ssizetype casts. Correct
	continued search for primary binfo via virtual.
	(build_vtbl_initializer): Follow covariant thunk alias.
	* method.c (make_thunk): Clear DECL_THUNKS of the thunk.
	(finish_thunk): Look for an alias of the covariant thunk and point
	to it.
	(use_thunk): We should never use an alias.
	* semantics.c (emit_associated_thunks): Do not emit aliases.

	PR c++/12566
	* cp-tree.h (cp_fname_init): Add TYPE pointer param.
	* decl.c (cp_fname_init): Add TYPE pointer param. Set it. Don't
	create an ad-hoc ERROR_MARK.
	(cp_make_fname_decl): Adjust.
	* pt.c (tsubst_expr): Adjust.

[Bug c++/12700] ICE in size_binop with covariant return types

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |3.4


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