[Bug c++/11670] New: ICE in convert_like_real on illegal code

[Bug c++/11670] New: ICE in convert_like_real on illegal code

[redi 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=11670

           Summary: ICE in convert_like_real on illegal code
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: redi at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i386-unknown-freebsd4.8
  GCC host triplet: i386-unknown-freebsd4.8
GCC target triplet: i386-unknown-freebsd4.8

The following _illegal_ code causes an ICE with latest CVS build as of today.
GCC 2.95, 3.0.4 and 3.2 compile it happily, without any errors or warnings.

$ cat ice.cc
struct A {};
struct B : A {};
B*& f()
{
    B b;
    A* ap = &b;
    return static_cast<B*>(ap);
}

$ g++3 -v
Reading specs from
/data/development/jw/gcc3/bin/../lib/gcc-lib/i386-unknown-freebsd4.8/3.4/specs
Configured with: /home/jw/src/cvs/gcc/configure --prefix=/home/jw/gcc3/
--enable-languages=c,c++ --enable-concept-checks --enable-libstdcxx-pch
Thread model: posix
gcc version 3.4 20030725 (experimental)
$ g++3 ice.cc -c
ice.cc: In function `B*& f()':
ice.cc:7: internal compiler error: in convert_like_real, at cp/call.c:4131
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
$

[Bug c++/11670] ICE in convert_like_real on illegal code

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
 GCC target triplet|i386-unknown-freebsd4.8     |i?86-*-*
   Last reconfirmed|0000-00-00 00:00:00         |2003-07-25 12:08:57
               date|                            |


------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-25 12:08 -------
I can confirm this on the mainline (20030724).
>From Phil's regression hunter: Search converges between 2003-07-23-trunk (#344) and 2003-
07-24-trunk (#345).

[Bug c++/11670] [3.4 Regression] ICE in convert_like_real on illegal code

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P1
            Summary|ICE in convert_like_real on |[3.4 Regression] ICE in
                   |illegal code                |convert_like_real on illegal
                   |                            |code

[Bug c++/11670] [3.4 Regression] ICE in convert_like_real on illegal code

[janis187 at us dot ibm dot com]

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

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


janis187 at us dot ibm dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nathan at codesourcery dot
                   |                            |com


------- Additional Comments From janis187 at us dot ibm dot com  2003-07-25 23:09 -------
The regression in PR 11670 was introduced or exposed by this patch:

--- gcc/gcc/cp/ChangeLog ---

2003-07-22  Nathan Sidwell  <nathan@codesourcery.com>

        * cp-tree.h (enum cp_lvalue_kind): Add clk_packed.
        * tree.c (lvalue_p_1): Set it.
        * class.c (check_field): Don't allow non-packed non-POD fields to
        be packed.
        * call.c (reference_binding): Need a temporary for all bitfield
        and packed fields.
        (convert_like_real): Check it is ok to make a temporary here.

The regression hunt took place on i686-pc-linux-gnu using the submitter's
test case with no special options.

[Bug c++/11670] [3.4 Regression] ICE in convert_like_real on illegal code

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


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|NEW                         |ASSIGNED

[Bug c++/11670] [3.4 Regression] ICE in convert_like_real on illegal code

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-08-10 15:00 -------
Subject: Bug 11670

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	nathan@gcc.gnu.org	2003-08-10 14:59:59

Modified files:
	gcc/cp         : ChangeLog call.c error.c 
	gcc/testsuite  : ChangeLog 

Log message:
	cp:
	PR c++/11670
	* call.c (convert_like_real): Add rvalue binding error message.
	* error.c (dump_expr) <NOP_EXPR case>: Detect when the no expr is
	really a cast.
	testsuite:
	PR c++/11670
	* g++.dg/expr/cast2.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3591&r2=1.3592
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&r1=1.418&r2=1.419
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/error.c.diff?cvsroot=gcc&r1=1.228&r2=1.229
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.2962&r2=1.2963

[Bug c++/11670] [3.4 Regression] ICE in convert_like_real on illegal code

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


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

	PR c++/11670
	* call.c (convert_like_real): Add rvalue binding error message.
	* error.c (dump_expr) <NOP_EXPR case>: Detect when the no expr is
	really a cast.