[Bug c++/34059] [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[Bug c++/34059] [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.3


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

[Bug c++/34059] New: [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE since GCC 4.1.2:

===============================
struct A
{
  template<int> void foo();
};

struct B : A {};
struct C : A {};

void bar()
{
  B().C::foo<0>();
}
===============================

bug.cc: In function 'void bar()':
bug.cc:11: internal compiler error: in build_base_path, at cp/class.c:272
Please submit a full bug report, [etc.]

Before GCC 3.4.0 we generated a correct diagnostic:
bug.cc:11: error: type `C' is not a base type for type `B'

GCC 3.4.0 - 4.1.1 wrongly accepted the code.


-- 
           Summary: [4.1/4.2/4.3 regression] ICE with invalid base type for
                    class member
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

[Bug c++/34059] [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[janis at gcc dot gnu dot org]

------- Comment #1 from janis at gcc dot gnu dot org  2007-11-13 17:23 -------
The change on mainline from silently accepting the code to an ICE is due to
this patch:

    http://gcc.gnu.org/viewcvs?view=rev&rev=117360

    r117360 | mmitchel | 2006-10-02 04:12:30 +0000 (Mon, 02 Oct 2006)


-- 

janis at gcc dot gnu dot org changed:

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


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

[Bug c++/34059] [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-11-19 04:11 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-19 04:11:30
               date|                            |


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

[Bug c++/34059] [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[simartin at gcc dot gnu dot org]

------- Comment #3 from simartin at gcc dot gnu dot org  2007-11-26 19:38 -------
Testing a patch.


-- 

simartin at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |simartin at gcc dot gnu dot
                   |                            |org
         AssignedTo|unassigned at gcc dot gnu   |simartin at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-11-19 04:11:30         |2007-11-26 19:38:27
               date|                            |


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

[Bug c++/34059] [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[simartin at gcc dot gnu dot org]

------- Comment #4 from simartin at gcc dot gnu dot org  2007-11-27 20:26 -------
Patch submitted here: http://gcc.gnu.org/ml/gcc-patches/2007-11/msg01404.html


-- 


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

[Bug c++/34059] [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug c++/34059] [4.1/4.2/4.3 regression] ICE with invalid base type for class member

[simartin at gcc dot gnu dot org]

------- Comment #5 from simartin at gcc dot gnu dot org  2007-12-10 22:39 -------
Subject: Bug 34059

Author: simartin
Date: Mon Dec 10 22:39:27 2007
New Revision: 130754

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130754
Log:
gcc/cp/

2007-12-10  Simon Martin  <simartin@users.sourceforge.net>

        PR c++/34059
        * typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
        MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.

gcc/testsuite/

2007-12-10  Simon Martin  <simartin@users.sourceforge.net>

        PR c++/34059
        * g++.dg/parse/crash40.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/parse/crash40.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/34059] [4.1/4.2 regression] ICE with invalid base type for class member

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2007-12-10 22:50 -------
Fixed on the trunk, thanks.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2/4.3 regression] ICE|[4.1/4.2 regression] ICE
                   |with invalid base type for  |with invalid base type for
                   |class member                |class member


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

[Bug c++/34059] [4.1/4.2 regression] ICE with invalid base type for class member

[simartin at gcc dot gnu dot org]

------- Comment #7 from simartin at gcc dot gnu dot org  2007-12-10 22:54 -------
Subject: Bug 34059

Author: simartin
Date: Mon Dec 10 22:54:26 2007
New Revision: 130756

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130756
Log:
gcc/cp/

2007-12-10  Simon Martin  <simartin@users.sourceforge.net>

        PR c++/34059
        * typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
        MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.

gcc/testsuite/

2007-12-10  Simon Martin  <simartin@users.sourceforge.net>

        PR c++/34059
        * g++.dg/parse/crash40.C: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/g++.dg/parse/crash40.C
Modified:
    branches/gcc-4_2-branch/gcc/cp/ChangeLog
    branches/gcc-4_2-branch/gcc/cp/typeck.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/34059] [4.1/4.2 regression] ICE with invalid base type for class member

[simartin at gcc dot gnu dot org]

------- Comment #8 from simartin at gcc dot gnu dot org  2007-12-10 23:03 -------
Fixed on all the active branches.


-- 

simartin at gcc dot gnu dot org changed:

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


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