[Bug middle-end/16237] New: [3.5 Regression] ICE caused by Kenner's big untested (regression causing) patch

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

I am getting an ICE in avail_expr_eq:
/Volumes/UFS_Partition/pinskia/src/devel/objc-darwin/gcc/libiberty/regex.c: In function 
`byte_compile_range':
/Volumes/UFS_Partition/pinskia/src/devel/objc-darwin/gcc/libiberty/regex.c:4550: warning: signed 
and unsigned type in conditional expression
/Volumes/UFS_Partition/pinskia/src/devel/objc-darwin/gcc/libiberty/regex.c:4560: warning: signed 
and unsigned type in conditional expression
/Volumes/UFS_Partition/pinskia/src/devel/objc-darwin/gcc/libiberty/regex.c:4560: warning: signed 
and unsigned type in conditional expression
/Volumes/UFS_Partition/pinskia/src/devel/objc-darwin/gcc/libiberty/regex.c: In function 
`byte_regex_compile':
/Volumes/UFS_Partition/pinskia/src/devel/objc-darwin/gcc/libiberty/regex.c:2321: internal compiler 
error: in avail_expr_eq, at tree-ssa-dom.c:3356
Please submit a full bug report,

This is caused by:


(gdb) p debug_tree(((struct expr_hash_elt *)p1)->rhs)
 <array_ref 0x6bffd0
    type <integer_type 0x40f2845c unsigned char unsigned QI
        size <integer_cst 0x40f26200 constant invariant 8>
        unit size <integer_cst 0x40f26220 constant invariant 1>
        align 8 symtab 5 alias set -1 precision 8 min <integer_cst 0x837fc0 0> max <integer_cst 
0x837fe0 255>
        pointer_to_this <pointer_type 0x40fb883c>>
   
    arg 0 <var_decl 0x6c2c1c str
        type <array_type 0x6c2ba0 type <integer_type 0x40f2845c unsigned char>
            BLK
            size <integer_cst 0x40fb7c00 constant invariant 1024>
            unit size <integer_cst 0x40fb7be0 constant invariant 128>
            align 8 symtab 0 alias set -1 domain <integer_type 0x41815aa8>>
        used BLK file /Volumes/UFS_Partition/pinskia/src/devel/objc-darwin/gcc/libiberty/regex.c line 
3484 size <integer_cst 0x40fb7c00 1024> unit size <integer_cst 0x40fb7be0 128>
        align 8 context <function_decl 0x63407c byte_regex_compile>>
    arg 1 <integer_cst 0x6cfae0 type <integer_type 0x40f2864c int> constant invariant 0>>
$2 = void
(gdb) p debug_tree(((struct expr_hash_elt *)p2)->rhs)
 <array_ref 0x833344
    type <integer_type 0x40f2845c unsigned char unsigned QI
        size <integer_cst 0x40f26200 constant invariant 8>
        unit size <integer_cst 0x40f26220 constant invariant 1>
        align 8 symtab 5 alias set -1 precision 8 min <integer_cst 0x837fc0 0> max <integer_cst 
0x837fe0 255>
        pointer_to_this <pointer_type 0x40fb883c>>
   
    arg 0 <var_decl 0x6c2c1c str
        type <array_type 0x6c2ba0 type <integer_type 0x40f2845c unsigned char>
            BLK
            size <integer_cst 0x40fb7c00 constant invariant 1024>
            unit size <integer_cst 0x40fb7be0 constant invariant 128>
            align 8 symtab 0 alias set -1 domain <integer_type 0x41815aa8>>
        used BLK file /Volumes/UFS_Partition/pinskia/src/devel/objc-darwin/gcc/libiberty/regex.c line 
3484 size <integer_cst 0x40fb7c00 1024> unit size <integer_cst 0x40fb7be0 128>
        align 8 context <function_decl 0x63407c byte_regex_compile>>
    arg 1 <integer_cst 0x6d5960 type <integer_type 0x41815aa8> constant invariant 0>
    arg 2 <integer_cst 0x40f26880 type <integer_type 0x40f736c8 long unsigned int> constant 
invariant 0>
    arg 3 <integer_cst 0x40f267e0 type <integer_type 0x40f736c8 long unsigned int> constant 
invariant 1>>
$3 = void
(gdb)

-- 
           Summary: [3.5 Regression] ICE caused by Kenner's big untested
                    (regression causing) patch
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, build
          Severity: critical
          Priority: P2
         Component: middle-end
        AssignedTo: kenner at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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