[Bug c++/42038] New: ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[Bug c++/42038] New: ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[d dot g dot gorbachev at gmail dot com]

`g++ bug.cc' causes this error:

bug.cc: In function 'void f()':
bug.cc:5:20: error: '__cxa_begin_catch' cannot be used as a function
bug.cc:5:20: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in useless_type_conversion_p, at tree-ssa.c:1221


-- 
           Summary: ICE: tree check: expected class 'type', have
                    'exceptional' (error_mark) in useless_type_conversion_p
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: d dot g dot gorbachev at gmail dot com
 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=42038

[Bug c++/42038] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[paolo dot carlini at oracle dot com]

------- Comment #1 from paolo dot carlini at oracle dot com  2009-11-14 00:15 -------
And bug.cc is...


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug c++/42038] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[d dot g dot gorbachev at gmail dot com]

------- Comment #2 from d dot g dot gorbachev at gmail dot com  2009-11-14 01:31 -------
Created an attachment (id=19015)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19015&action=view)
The bug.cc file

Sorry, forgot it. :)


-- 


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

[Bug c++/42038] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[paolo dot carlini at oracle dot com]

------- Comment #3 from paolo dot carlini at oracle dot com  2009-11-14 01:58 -------
Funny, and I agree the compiler should behave more gracefully, but this code is
invalid per 17.4.3.1.2: names containing a double underscore are reserved.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2009-11-14 01:58:47
               date|                            |


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

[Bug c++/42038] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[paolo dot carlini at oracle dot com]

-- 

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


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

[Bug c++/42038] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[paolo dot carlini at oracle dot com]

------- Comment #4 from paolo dot carlini at oracle dot com  2009-11-23 23:18 -------
Jason, as far as I know, we never compiled this, the ICE is new. If we only
want to avoid the ICE, I'm attaching a patchlet to except.c which works fine,
otherwise, please let me know...


-- 

paolo dot carlini at oracle dot com changed:

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


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

[Bug c++/42038] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[paolo dot carlini at oracle dot com]

------- Comment #5 from paolo dot carlini at oracle dot com  2009-11-23 23:19 -------
Created an attachment (id=19105)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19105&action=view)
Draft patch


-- 


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

[Bug c++/42038] [4.3/4.4/4.5 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2009-11-29 15:56 -------
The ICE happens since GCC 4.2.0.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |error-recovery, monitored
            Summary|ICE: tree check: expected   |[4.3/4.4/4.5 Regression]
                   |class 'type', have          |ICE: tree check: expected
                   |'exceptional' (error_mark)  |class 'type', have
                   |in useless_type_conversion_p|'exceptional' (error_mark)
                   |                            |in useless_type_conversion_p
   Target Milestone|---                         |4.3.5


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

[Bug c++/42038] [4.3/4.4/4.5 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5


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

[Bug c++/42038] [4.3/4.4/4.5 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[jason at gcc dot gnu dot org]

------- Comment #7 from jason at gcc dot gnu dot org  2010-01-20 22:11 -------
The patch is OK.


-- 


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

[Bug c++/42038] [4.3/4.4/4.5 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[paolo at gcc dot gnu dot org]

------- Comment #8 from paolo at gcc dot gnu dot org  2010-01-20 23:12 -------
Subject: Bug 42038

Author: paolo
Date: Wed Jan 20 23:12:25 2010
New Revision: 156094

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=156094
Log:
/cp
2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/42038
        * except.c (expand_start_catch_block): Deal correctly with
        do_begin_catch returning error_mark_node.

/testsuite
2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/42038
        * g++.dg/parse/crash55.C: New.

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


-- 


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

[Bug c++/42038] [4.3/4.4/4.5 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p

[paolo dot carlini at oracle dot com]

------- Comment #9 from paolo dot carlini at oracle dot com  2010-01-20 23:15 -------
Fixed for 4.5.0. Being just an ice-on-invalid will not be fixed in 4_3 / 4_4.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.3.5                       |4.5.0


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