[Bug tree-optimization/40640] [4.5 Regression] ICE in set_value_range, at tree-vrp.c:383

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-07-03 20:04 -------
(gdb) call debug_tree (limit)
 <integer_cst 0xb7d5ac40 type <integer_type 0xb7d2aee0> constant 0>
(gdb) call vrp_val_is_max (limit)
$6 = 1 '\001'
(gdb) call vrp_val_is_min (limit)
$7 = 1 '\001'

err ...

(gdb) call debug_tree (0xb7d2aee0)
 <integer_type 0xb7d2aee0
    type <integer_type 0xb7ccd000 unsigned int public unsigned sizetype SI
        size <integer_cst 0xb7cbe4b4 constant 32>
        unit size <integer_cst 0xb7cbe2a0 constant 4>
        align 32 symtab 0 alias set -1 canonical type 0xb7ccd000 precision 32
min <integer_cst 0xb7cbe4d0 0> max <integer_cst 0xb7cbea64 -1>>
    public SI size <integer_cst 0xb7cbe4b4 32> unit size <integer_cst
0xb7cbe2a0 4>
    align 32 symtab 0 alias set -1 canonical type 0xb7d2aee0 precision 32 min
<integer_cst 0xb7cbe2bc 0> max <integer_cst 0xb7cbe2bc 0>>


hmm - single-valued integer subtypes.

I have a patch.


-- 


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