[Bug c++/36405] New: [4.3/4.4 regression] ICE with typeid of member function

[Bug c++/36405] New: [4.3/4.4 regression] ICE with typeid of member function

[reichelt at gcc dot gnu dot org]

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

================================
#include<typeinfo>

struct A
{
  void foo()
  {
    typeid(foo).name();
  }
};
================================

bug.cc: In member function 'void A::foo()':
bug.cc:7: internal compiler error: in write_type, at cp/mangle.c:1695
Please submit a full bug report, [etc.]

Before GCC 4.3.0 the compiler used to generate a valid error message:

bug.cc: In member function 'void A::foo()':
bug.cc:7: error: invalid use of member (did you forget the '&' ?)


-- 
           Summary: [4.3/4.4 regression] ICE with typeid of member function
           Product: gcc
           Version: 4.4.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=36405

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.1


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-06-06 14:59 -------
4.3.1 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.1                       |4.3.2


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2008-06-11 14:27 -------
Caused by PR29928.


-- 


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[paolo dot carlini at oracle dot com]

------- Comment #3 from paolo dot carlini at oracle dot com  2008-06-11 16:58 -------
Ok...


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |paolo dot carlini at oracle
                   |dot org                     |dot com
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-06-11 16:58:45
               date|                            |


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2008-06-12 10:05 -------
Created an attachment (id=15754)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15754&action=view)
gcc44-pr36405.patch

I think the right fix is to ensure the type is complete in all cases but
VOID_TYPE.  For ARRAY_TYPEs just make sure the element type is complete.


-- 


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[paolo dot carlini at oracle dot com]

------- Comment #5 from paolo dot carlini at oracle dot com  2008-06-12 10:19 -------
Sure, please go ahead with submitting your patch.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|paolo dot carlini at oracle |unassigned at gcc dot gnu
                   |dot com                     |dot org
             Status|ASSIGNED                    |NEW


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2008-07-31 18:08 -------
Subject: Bug 36405

Author: jakub
Date: Thu Jul 31 18:07:20 2008
New Revision: 138426

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138426
Log:
        PR c++/36405
        * rtti.c (get_tinfo_decl_dynamic, get_typeid): Call
        complete_type_or_else even for UNKNOWN_TYPE to get diagnostics.

        * g++.dg/rtti/typeid8.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/rtti/typeid8.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/rtti.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2008-07-31 19:04 -------
Subject: Bug 36405

Author: jakub
Date: Thu Jul 31 19:02:33 2008
New Revision: 138430

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138430
Log:
        PR c++/36405
        * rtti.c (get_tinfo_decl_dynamic, get_typeid): Call
        complete_type_or_else even for UNKNOWN_TYPE to get diagnostics.

        * g++.dg/rtti/typeid8.C: New test.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/rtti/typeid8.C
Modified:
    branches/gcc-4_3-branch/gcc/cp/ChangeLog
    branches/gcc-4_3-branch/gcc/cp/rtti.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/36405] [4.3/4.4 regression] ICE with typeid of member function

[jakub at gcc dot gnu dot org]

------- Comment #8 from jakub at gcc dot gnu dot org  2008-07-31 20:20 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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