#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
