Re: c++/8031: ICE in comptypes, at cp/typeck.c:913

Re: c++/8031: ICE in comptypes, at cp/typeck.c:913

[gdr]

Synopsis: ICE in comptypes, at cp/typeck.c:913

Responsible-Changed-From-To: unassigned->gdr
Responsible-Changed-By: gdr
Responsible-Changed-When: Fri Dec 13 13:13:01 2002
Responsible-Changed-Why:
    Working a fix.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8031

Re: c++/8031: ICE in comptypes, at cp/typeck.c:913

[gdr]

Synopsis: ICE in comptypes, at cp/typeck.c:913

State-Changed-From-To: analyzed->closed
State-Changed-By: gdr
State-Changed-When: Fri Dec 13 14:06:02 2002
State-Changed-Why:
    Fixed with:
    2002-12-13  Gabriel Dos Reis  <gdr@integrable-solutions.net>
    
    	PR C++/8031
    	* cvt.c (convert_to_pointer_force): Don't try comparing against 
    	erronous type.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8031

Re: c++/8031: ICE in comptypes, at cp/typeck.c:913

[Reichelt]

The following reply was made to PR c++/8031; it has been noted by GNATS.

From: Reichelt <reichelt@igpm.rwth-aachen.de>
To: gcc-gnats@gcc.gnu.org, V.Haisman@sh.cvut.cz, gcc-bugs@gcc.gnu.org,
        nobody@gcc.gnu.org
Cc:  
Subject: Re: c++/8031: ICE in comptypes, at cp/typeck.c:913
Date: Sun, 27 Oct 2002 17:54:45 +0200

 Hi,
 
 before the ICE g++ emits an error message, so that we'll see a
 "confused by earlier errors, bailing out" message instead in the release
 version (as in gcc 3.1 for example).
 
 However, gcc 3.0.x and gcc 2.95.x could handle this situation without
 such a message. So this is a slight regression.
 
 Greetings,
 Volker
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8031
 
 

Re: c++/8031: ICE in comptypes, at cp/typeck.c:913

[lerdsuwa]

Synopsis: ICE in comptypes, at cp/typeck.c:913

State-Changed-From-To: open->analyzed
State-Changed-By: lerdsuwa
State-Changed-When: Thu Sep 26 08:09:49 2002
State-Changed-Why:
    Confirmed.  The code is illegal, dynamic_cast should be used instead of static_cast.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8031

c++/8031: ICE in comptypes, at cp/typeck.c:913

[V.Haisman]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1883 bytes --]


>Number:         8031
>Category:       c++
>Synopsis:       ICE in comptypes, at cp/typeck.c:913
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          ice-on-legal-code
>Submitter-Id:   net
>Arrival-Date:   Wed Sep 25 03:46:03 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     VÁCLAV HAISMAN
>Release:        3.3 20020925 (experimental)
>Organization:
none
>Environment:
System: FreeBSD logout.sh.cvut.cz 4.6-STABLE FreeBSD 4.6-STABLE #0: Thu Aug 1 01:02:04 CEST 2002 root@logout.sh.cvut.cz:/usr/src/sys/compile/logout i386


	
host: i386-unknown-freebsd4.6
build: i386-unknown-freebsd4.6
target: i386-unknown-freebsd4.6
configured with: ../srcdir/configure --enable-threads --enable-languages=c,c++ --enable-version-specific-runtime-libs --prefix=/home/4/wilx --with-arch=i686 --with-cpu=i686 --enable-dwarf2 : (reconfigured) ../srcdir/configure --enable-threads --enable-languages=c,c++ --enable-version-specific-runtime-libs --prefix=/home/4/wilx --with-arch=i686 --with-cpu=i686 --enable-dwarf2
>Description:
testcase-cast.cxx: In member function `virtual bool B::f(const A*)':
testcase-cast.cxx:17: error: cannot convert from base `A' to derived type `B'
   via virtual base `A'
testcase-cast.cxx:17: internal compiler error: in comptypes, at cp/typeck.c:913
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.

>How-To-Repeat:
#include <typeinfo>

class A {
public:
    virtual bool f(const A* a) = 0;
};

class B : virtual public A {
    char ch;
public:
    virtual bool f(const A* a);
};

bool B::f(const A* a)
{
    if (typeid(a) == typeid(B))
        if (ch == static_cast<const B&>(*a).ch)
            return true;
    return false;
}

>Fix:
	
>Release-Note:
>Audit-Trail:
>Unformatted: