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

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

[doko at ubuntu dot com]

------- Comment #1 from doko at ubuntu dot com  2010-02-15 15:47 -------
Created an attachment (id=19878)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19878&action=view)
preprocessed source


-- 


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

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

[doko at ubuntu dot com]

seen with 4.3, 4.4 and trunk:

$ gcc -c main.i
main.c: In function 'main':
main.c:22:5: error: void value not ignored as it ought to be
main.c:22:5: error: void value not ignored as it ought to be
main.c:22:8: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in useless_type_conversion_p, at tree-ssa.c:1233
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-snapshot/README.Bugs> for instructions.


-- 
           Summary: ICE in 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: other
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: doko at ubuntu dot com


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

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

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2010-02-16 10:21 -------
We get

6493          STRIP_USELESS_TYPE_CONVERSION (*expr_p);
(gdb) call debug_tree (*expr_p)
 <nop_expr 0x7ffff5b99150
    type <boolean_type 0x7ffff7ee4888 _Bool public unsigned QI
        size <integer_cst 0x7ffff7ed2730 constant 8>
        unit size <integer_cst 0x7ffff7ed2758 constant 1>
        align 8 symtab 0 alias set -1 canonical type 0x7ffff7ee4888 precision 1
min <integer_cst 0x7ffff7ed2b68 0> max <integer_cst 0x7ffff7ed2bb8 1>>

    arg 0 <cond_expr 0x7ffff5b48280 type <error_mark 0x7ffff7edab70>


The FEs shouldn't feed us random crap really ...


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|other                       |c
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-02-16 10:21:57
               date|                            |


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

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

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2010-03-03 19:00 -------
Reduced testcase:
int main(void)
{
    int gpf;
    if(gpf ? (void) (0)  : f ()) ;
}
--- CUT ---
Looking into it.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-02-16 10:21:57         |2010-03-03 19:00:50
               date|                            |


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

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

[pinskia at gcc dot gnu dot org]

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



------- Comment #4 from pinskia at gcc dot gnu dot org  2010-03-03 19:02 -------
I get:
t1.c:4:7: internal compiler error: tree check: expected class ‘type’, have
‘exceptional’ (error_mark) in get_narrower, at tree.c:7654

Now.


-- 


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

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

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2010-03-03 19:21 -------
I have a patch to c_common_truthvalue_conversion which fixes this issue.


-- 


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

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

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2010-03-08 17:15 -------
No longer working on this one.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

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

[doko at ubuntu dot com]

------- Comment #7 from doko at ubuntu dot com  2010-09-20 18:01 -------
trunk 20100918 fails with:

gcc -g -O0 -c foo.c
foo.c: In function 'main':
foo.c:4:5: error: void value not ignored as it ought to be
foo.c:4:5: error: void value not ignored as it ought to be
foo.c:4:7: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in get_narrower, at tree.c:7856
Please submit a full bug report,
with preprocessed source if appropriate.


-- 

doko at ubuntu dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.3.4 4.4.2 4.5.0           |4.3.5 4.4.4 4.5.1 4.6.0


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