[Bug middle-end/85164] poly-int.h:845:5: runtime error: signed integer overflow

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85164

--- Comment #19 from David Binderman <dcb314 at hotmail dot com> ---
For ./c-c++-common/Warray-bounds-2.c

../../trunk/gcc/poly-int.h:1107:5: runtime error: signed integer overflow: 8 *
-9223372036854775796 cannot be represented in type 'long int'
    #0 0x2ddd587 in poly_int<1u, poly_result<if_nonpoly<int, int,
poly_int_traits<int>::is_poly>::type, long,
poly_coeff_pair_traits<if_nonpoly<int, int,
poly_int_traits<int>::is_poly>::type, long>::result_kind>::type> operator*<1u,
int, long>(int const&, poly_int_pod<1u, long> const&)
../../trunk/gcc/poly-int.h:1107
    #1 0x2ddd587 in ao_ref_init_from_ptr_and_size(ao_ref*, tree_node*,
tree_node*) ../../trunk/gcc/tree-ssa-alias.c:703
    #2 0x2ea1f49 in initialize_ao_ref_for_dse
../../trunk/gcc/tree-ssa-dse.c:106
    #3 0x2ea1f49 in initialize_ao_ref_for_dse ../../trunk/gcc/tree-ssa-dse.c:91
    #4 0x2ea784b in dse_dom_walker::dse_optimize_stmt(gimple_stmt_iterator*)
../../trunk/gcc/tree-ssa-dse.c:851

For ./c-c++-common/Warray-bounds.c

../../trunk/gcc/poly-int.h:715:21: runtime error: signed integer overflow:
9223372036854775804 + 4 cannot be represented in type 'long int'
    #0 0x318ecb2 in poly_int<1u, long>& poly_int<1u,
long>::operator+=<long>(poly_int_pod<1u, long> const&)
../../trunk/gcc/poly-int.h:715
    #1 0x318ecb2 in vn_reference_compute_hash
../../trunk/gcc/tree-ssa-sccvn.c:657
    #2 0x31b26b5 in vn_reference_lookup(tree_node*, tree_node*, vn_lookup_kind,
vn_reference_s**, bool) ../../trunk/gcc/tree-ssa-sccvn.c:2714
    #3 0x31ea070 in visit_reference_op_load
../../trunk/gcc/tree-ssa-sccvn.c:4091
    #4 0x31ea070 in visit_stmt ../../trunk/gcc/tree-ssa-sccvn.c:4509

For /gcc.dg/strlenopt-55.c

../../trunk/gcc/poly-int.h:1095:5: runtime error: signed integer overflow:
9223372036854775805 * 8 cannot be represented in type 'long int'
    #0 0x31917e4 in poly_int<1u, poly_result<long, if_nonpoly<int, int,
poly_int_traits<int>::is_poly>::type, poly_coeff_pair_traits<long,
if_nonpoly<int, int, poly_int_traits<int>::is_poly>::type>::result_kind>::type>
operator*<1u, long, int>(poly_int_pod<1u, long> const&, int const&)
../../trunk/gcc/poly-int.h:1095
    #1 0x31917e4 in fully_constant_vn_reference_p(vn_reference_s*)
../../trunk/gcc/tree-ssa-sccvn.c:1485
    #2 0x31b26c3 in vn_reference_lookup(tree_node*, tree_node*, vn_lookup_kind,
vn_reference_s**, bool) ../../trunk/gcc/tree-ssa-sccvn.c:2715
    #3 0x31ea070 in visit_reference_op_load
../../trunk/gcc/tree-ssa-sccvn.c:4091
    #4 0x31ea070 in visit_stmt ../../trunk/gcc/tree-ssa-sccvn.c:4509

For ./gcc.dg/torture/pr84811.c

../../trunk/gcc/cse.c:2215:34: runtime error: signed integer overflow:
162675373468811328 - -9060696663385964544 cannot be represented in type 'long
int'
    #0 0x4e5f416 in use_related_value ../../trunk/gcc/cse.c:2215
    #1 0x4e5f416 in cse_insn ../../trunk/gcc/cse.c:4877
    #2 0x4e60b7e in cse_extended_basic_block ../../trunk/gcc/cse.c:6662
    #3 0x4e60b7e in cse_main ../../trunk/gcc/cse.c:6841
    #4 0x4e680ee in rest_of_handle_cse2 ../../trunk/gcc/cse.c:7743


For /gcc.dg/torture/pr84929.c

../../trunk/gcc/poly-int.h:753:21: runtime error: signed integer overflow:
-5621332293356458048 * 8 cannot be represented in type 'long int'
    #0 0x1929e14 in if_nonpoly<int, poly_int<1u, long>,
poly_int_traits<int>::is_poly>::type& poly_int<1u, long>::operator*=<int>(int
const&) ../../trunk/gcc/poly-int.h:753
    #1 0x1929e14 in fold_const_aggregate_ref_1(tree_node*, tree_node*
(*)(tree_node*)) ../../trunk/gcc/gimple-fold.c:6992
    #2 0x192b422 in gimple_fold_stmt_to_constant_1(gimple*, tree_node*
(*)(tree_node*), tree_node* (*)(tree_node*)) ../../trunk/gcc/gimple-fold.c:6426
    #3 0x2e1ab24 in ccp_fold ../../trunk/gcc/tree-ssa-ccp.c:1257
    #4 0x2e1ab24 in evaluate_stmt ../../trunk/gcc/tree-ssa-ccp.c:1785

For ./gcc.dg/Warray-bounds-22.c

../../trunk/gcc/poly-int.h:1095:5: runtime error: signed integer overflow:
9223372036854775807 * 8 cannot be represented in type 'long int'
    #0 0xf85e20 in poly_int<1u, poly_result<long, if_nonpoly<int, int,
poly_int_traits<int>::is_poly>::type, poly_coeff_pair_traits<long,
if_nonpoly<int, int, poly_int_traits<int>::is_poly>::type>::result_kind>::type>
operator*<1u, long, int>(poly_int_pod<1u, long> const&, int const&)
../../trunk/gcc/poly-int.h:1095
    #1 0xf85e20 in get_object_alignment_2 ../../trunk/gcc/builtins.c:344
    #2 0xf86d9d in get_object_alignment_1(tree_node*, unsigned int*, unsigned
long*) ../../trunk/gcc/builtins.c:394
    #3 0xf86d9d in get_object_alignment(tree_node*)
../../trunk/gcc/builtins.c:405
    #4 0x1690d75 in expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool) ../../trunk/gcc/expr.c:10343

For ./gcc.dg/Warray-bounds-30.c

../../trunk/gcc/cse.c:2215:34: runtime error: signed integer overflow: 0 -
-9223372036854775808 cannot be represented in type 'long int'
    #0 0x4e5f416 in use_related_value ../../trunk/gcc/cse.c:2215
    #1 0x4e5f416 in cse_insn ../../trunk/gcc/cse.c:4877
    #2 0x4e60b7e in cse_extended_basic_block ../../trunk/gcc/cse.c:6662
    #3 0x4e60b7e in cse_main ../../trunk/gcc/cse.c:6841
    #4 0x4e67ef5 in rest_of_handle_cse ../../trunk/gcc/cse.c:7678

For ./gcc.dg/Warray-bounds-31.c

../../trunk/gcc/poly-int.h:1095:5: runtime error: signed integer overflow:
-9223372036854775799 * 8 cannot be represented in type 'long int'
    #0 0x31917e4 in poly_int<1u, poly_result<long, if_nonpoly<int, int,
poly_int_traits<int>::is_poly>::type, poly_coeff_pair_traits<long,
if_nonpoly<int, int, poly_int_traits<int>::is_poly>::type>::result_kind>::type>
operator*<1u, long, int>(poly_int_pod<1u, long> const&, int const&)
../../trunk/gcc/poly-int.h:1095
    #1 0x31917e4 in fully_constant_vn_reference_p(vn_reference_s*)
../../trunk/gcc/tree-ssa-sccvn.c:1485
    #2 0x31b26c3 in vn_reference_lookup(tree_node*, tree_node*, vn_lookup_kind,
vn_reference_s**, bool) ../../trunk/gcc/tree-ssa-sccvn.c:2715
    #3 0x31ea070 in visit_reference_op_load
../../trunk/gcc/tree-ssa-sccvn.c:4091
    #4 0x31ea070 in visit_stmt ../../trunk/gcc/tree-ssa-sccvn.c:4509