[Bug c++/22604] New: "internal compiler error: Segmentation fault" with invalid nested classes

[Bug c++/22604] New: "internal compiler error: Segmentation fault" with invalid nested classes

[flash at pobox dot com]

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

The invalid code below results in "internal compiler error: Segmentation fault" 
with a checking version of GCC 4.0.1.  Does not happen with GCC 3.3.4 or Apple GCC 4.0.0.
Like the code for bug 22603, this is a greatly-reduced and anonymized excerpt, found by Daniel 
Wilkerson's Delta, from a real PalmSource file.  (This reduction was found by looking for a segfault; the 
previous reduction looked for any compiler error.)  
    I don't think this is the same bug as my 22508, since that one also happened with Apple GCC 4.0.0.  
It doesn't sound to me like 21975 or 22441 either.


class NameOne;
class NameTwo : virtual public SAtom
{
 virtual NameOne* NameThree();
};
class NameFour : virtual public NameFive
{
class NameOne : public NameTwo
{
  virtual NameOne* NameThree();



======
Session:
125> /opt/gcc401chk/bin/g++ -v  /Projects/PlatformTools/compilerChain/tests/cpp/bugfiles/error/
BBinder_segfault.ii
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../configure --enable-checking --prefix=/opt/gcc401chk --enable-languages=c,c+
+
Thread model: posix
gcc version 4.0.1
 /opt/gcc401chk/libexec/gcc/i686-pc-linux-gnu/4.0.1/cc1plus -fpreprocessed /Projects/
PlatformTools/compilerChain/tests/cpp/bugfiles/error/BBinder_segfault.ii -quiet -dumpbase 
BBinder_segfault.ii -mtune=pentiumpro -auxbase BBinder_segfault -version -o /tmp/ccuEkHiJ.s
GNU C++ version 4.0.1 (i686-pc-linux-gnu)
        compiled by GNU C version 3.3.4 (pre 3.3.5 20040809).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
/Projects/PlatformTools/compilerChain/tests/cpp/bugfiles/error/BBinder_segfault.ii:3: error: expected 
class-name before ‘{’ token
/Projects/PlatformTools/compilerChain/tests/cpp/bugfiles/error/BBinder_segfault.ii:7: error: expected 
class-name before ‘{’ token
/Projects/PlatformTools/compilerChain/tests/cpp/bugfiles/error/BBinder_segfault.ii:10: error: 
expected `}' at end of input
/Projects/PlatformTools/compilerChain/tests/cpp/bugfiles/error/BBinder_segfault.ii:10: error: invalid 
covariant return type for ‘virtual NameFour::NameOne* NameFour::NameOne::NameThree()’
/Projects/PlatformTools/compilerChain/tests/cpp/bugfiles/error/BBinder_segfault.ii:4: error:   
overriding ‘virtual NameOne* NameTwo::NameThree()’
/Projects/PlatformTools/compilerChain/tests/cpp/bugfiles/error/BBinder_segfault.ii:9: internal 
compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Like bug 22603, this is tracked by PalmSouce bug 104911, though I suspect it's different.

-- 
           Summary: "internal compiler error: Segmentation fault" with
                    invalid nested classes
           Product: gcc
           Version: 4.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: flash at pobox dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c++/22604] "internal compiler error: Segmentation fault" with invalid nested classes

[flash at pobox dot com]

------- Additional Comments From flash at pobox dot com  2005-07-22 03:38 -------
Created an attachment (id=9327)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9327&action=view)
BBinder_segfault.ii


-- 


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

[Bug c++/22604] [4.0/4.1 Regression] "internal compiler error" after invalid covariant return

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 03:53 -------
Confirmed.
Here is the backtrace:
#0  0x080b94b6 in dfs_modify_vtables (binfo=0xb7d11840, data=0xb7cbe398) at /home/peshtigo/
pinskia/src/gnu/gcc/src/gcc/cp/class.c:2032
#1  0x08122b40 in dfs_walk_all (binfo=0xb7d11840, pre_fn=0x80b8e00 <dfs_modify_vtables>, 
post_fn=0, data=0xb7cbe398)
    at /home/peshtigo/pinskia/src/gnu/gcc/src/gcc/cp/search.c:1528
#2  0x08123444 in dfs_walk_once (binfo=0xb7d11840, pre_fn=0x80b8e00 <dfs_modify_vtables>, 
post_fn=0, data=0xb7cbe398)
    at /home/peshtigo/pinskia/src/gnu/gcc/src/gcc/cp/search.c:1651
#3  0x080c8247 in finish_struct_1 (t=0xb7cbe398) at /home/peshtigo/pinskia/src/gnu/gcc/src/gcc/
cp/class.c:2223
#4  0x080ca5e6 in finish_struct (t=0xb7cbe398, attributes=0xb7cbe398) at /home/peshtigo/pinskia/
src/gnu/gcc/src/gcc/cp/class.c:5107
#5  0x080e953a in cp_parser_type_specifier (parser=0xb7cbbe38, flags=Variable "flags" is not 
available.
) at /home/peshtigo/pinskia/src/gnu/gcc/src/gcc/cp/parser.c:12642


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |error-recovery, ice-on-
                   |                            |invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-22 03:53:06
               date|                            |
            Summary|"internal compiler error:   |[4.0/4.1 Regression]
                   |Segmentation fault" with    |"internal compiler error"
                   |invalid nested classes      |after invalid covariant
                   |                            |return
   Target Milestone|---                         |4.0.2


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

[Bug c++/22604] [4.0/4.1 Regression] "internal compiler error" after invalid covariant return

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 03:58 -------
I should mention this started to happen after 20041124 but before 20050225.

-- 


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

[Bug c++/22604] [4.0/4.1 Regression] "internal compiler error" after invalid covariant return

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  2005-07-22 08:08 -------
Introduced between "2005-02-14 00:20 UTC" and "2005-02-15 00:20 UTC"

-- 


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

[Bug c++/22604] [4.0/4.1 Regression] "internal compiler error" after invalid covariant return

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor


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

[Bug c++/22604] [4.0/4.1 Regression] ICE after invalid covariant return

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-25 13:11 -------
Here's an example that only contains one error:

==============================================
struct A;

struct B
{
    virtual A* foo();
};

namespace N
{
    struct A : B
    {
        virtual A* foo(); // should be ::A*
    };
}
==============================================


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |monitored
            Summary|[4.0/4.1 Regression]        |[4.0/4.1 Regression] ICE
                   |"internal compiler error"   |after invalid covariant
                   |after invalid covariant     |return
                   |return                      |


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

[Bug c++/22604] [4.0/4.1 Regression] ICE after invalid covariant return

[flash at pobox dot com]

------- Additional Comments From flash at pobox dot com  2005-07-28 03:15 -------
Here's another segfault, originally PalmSource bug 105158, but after Delta reduction it looked similar:

class nameOne : public nameTwo, public nameThree, public nameFour, public nameFive, public nameSix
{
 void nameSeven(const nameEight &name, const nameNine & icon);
 virtual void nameSeven(const nameEight& name, const nameTen &icon);


-- 


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

[Bug c++/22604] [4.0/4.1 Regression] ICE after invalid covariant return

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-28 03:27 -------
(In reply to comment #6)
> Here's another segfault, originally PalmSource bug 105158, but after Delta reduction it looked 
similar:

That is a different issue, please file as a seperate bug.

-- 


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

[Bug c++/22604] [4.0/4.1 Regression] ICE after invalid covariant return

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-08-05 15:28 -------
For the record: The bug from comment #6 is tracked in PR23118.


-- 


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

[Bug c++/22604] [4.0/4.1 Regression] ICE after invalid covariant return

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-08-05 15:43 -------
Testing a patch.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |reichelt at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug c++/22604] [4.0/4.1 Regression] ICE after invalid covariant return

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-08 18:13 -------
This worked with 20041211.

-- 


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

[Bug c++/22604] [4.0/4.1 Regression] ICE after invalid covariant return

[flash at pobox dot com]

------- Additional Comments From flash at pobox dot com  2005-08-12 01:26 -------
The patch looks good.  A checking=yes build, with patches 20161-8277, 22508-2005-08-00326, 
22600-9330, and 22604-2005-08-00334, rejected the file BBinder_segfault.ii without an ICE.  (A 
checking=all build is still building.)  A run of  'make check' didn't report any unexpected errors.

-- 


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

[Bug c++/22604] [4.0/4.1 Regression] ICE after invalid covariant return

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