[Bug tree-optimization/32453] New: [4.3 Regression] ICE in build2_stat, at tree.c:3074 (extract_range_from_assert)

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

#0  fancy_abort (file=0xe96e48 "/space/rguenther/src/svn/trunk/gcc/tree.c", 
    line=3074, function=0xe9825f "build2_stat")
    at /space/rguenther/src/svn/trunk/gcc/diagnostic.c:656
#1  0x0000000000a3bb1a in build2_stat (code=PLUS_EXPR, tt=0x2ad09f6def00, 
    arg0=0x2ad09fb625c0, arg1=0x2ad09fb1ca50)
    at /space/rguenther/src/svn/trunk/gcc/tree.c:3074
#2  0x00000000006c2be1 in fold_build2_stat (code=PLUS_EXPR, 
    type=0x2ad09f6def00, op0=0x2ad09fb625c0, op1=0x2ad09fb1ca50)
    at /space/rguenther/src/svn/trunk/gcc/fold-const.c:12945
#3  0x0000000000a0466e in extract_range_from_assert (vr_p=0x7fff0be24420, 
    expr=0x2ad09f6b3e00) at /space/rguenther/src/svn/trunk/gcc/tree-vrp.c:1477
#4  0x0000000000a0ac2b in extract_range_from_expr (vr=0x7fff0be24420, 
    expr=0x2ad09f6b3e00) at /space/rguenther/src/svn/trunk/gcc/tree-vrp.c:2582
#5  0x0000000000a17e17 in vrp_visit_assignment (stmt=0x2ad09fe3ae10, 
    output_p=0x7fff0be24710)
    at /space/rguenther/src/svn/trunk/gcc/tree-vrp.c:4668
(gdb) call debug_generic_expr (stmt)
inptr_549 = ASSERT_EXPR <inptr_177, inptr_177 != &bytebuf>

so we have an anti-range for inptr of pointer-type.  So the following

1477                    min = fold_build2 (PLUS_EXPR, TREE_TYPE (var_vr->min),
1478                                       anti_max,
1479                                       build_int_cst (TREE_TYPE
(var_vr->min), 1));

isn't going to make us happy.


-- 
           Summary: [4.3 Regression] ICE in build2_stat, at tree.c:3074
                    (extract_range_from_assert)
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


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