[Bug middle-end/13066] [tree-ssa] ICE in in invert_truthvalue, at fold-const.c:2554

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-29 01:25 -------
Actually it is fold which is causing this bug.
fold is changing:
<ne_expr 0x4169a5c4
    type <boolean_type 0x4169bba0 bool unsigned SI
        size <integer_cst 0x41698360 constant invariant 32>
        unit size <integer_cst 0x41698400 constant invariant 4>
        align 32 symtab 0 alias set -1 precision 1 min <integer_cst 0x416985c0 0> max <
integer_cst 0x41698600 1>>
   
    arg 0 <eq_expr 0x4169a534
        type <integer_type 0x4169b8b8 int SI size <integer_cst 0x41698360 32> unit size <
integer_cst 0x41698400 4>
            align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x416983c0 -
2147483648> max <integer_cst 0x416983e0 2147483647>
            pointer_to_this <pointer_type 0x416a77c0>>
       
        arg 0 <var_decl 0x4176083c a type <integer_type 0x4169b8b8 int>
            asm_written used public static tree_1 SI file pr13066.cc line 3 size <integer_cst 
0x41698360 32> unit size <integer_cst 0x41698400 4>
            align 32
            (mem/f:SI (symbol_ref:SI ("!D__a") [flags 0x2] <var_decl 0x4176083c a>) [0 a+0 
S4 A32]) chain <var_decl 0x417607c0 c>>
        arg 1 <integer_cst 0x416adc60 constant invariant 0>>
    arg 1 <truth_orif_expr 0x4169a558 type <integer_type 0x4169b8b8 int>
       
        arg 0 <ne_expr 0x4169a57c type <integer_type 0x4169b8b8 int>
            arg 0 <var_decl 0x417608b8 b>
            arg 1 <integer_cst 0x41698ae0 constant invariant 0>>
        arg 1 <eq_expr 0x4169a5a0 type <integer_type 0x4169b8b8 int>
            arg 0 <var_decl 0x41760744 g> arg 1 <var_decl 0x417607c0 c>>>>
into the expression invoving the TRUTH_XOR_EXPR which is wrong as the type of arg1 
is an integer_type at this point.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|amacleod at redhat dot com  |unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW
          Component|optimization                |middle-end


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