[Bug tree-optimization/87917] New: ICE in initialize_matrix_A at gcc/tree-data-ref.c:3150

[marxin at gcc dot gnu.org]

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

            Bug ID: 87917
           Summary: ICE in initialize_matrix_A at gcc/tree-data-ref.c:3150
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

Following causes ICE:

$ arm-linux-gnueabi-gcc 
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr34635.c
-ftree-loop-distribute-patterns -ftrapv -fno-tree-fre -O2
during GIMPLE pass: ldist
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr34635.c: In
function ‘foo’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr34635.c:4:6:
internal compiler error: in int_cst_value, at tree.c:11385
    4 | void foo(int x[])
      |      ^~~
0x59cad1 int_cst_value(tree_node const*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree.c:11385
0x112cddc initialize_matrix_A
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:3150
0x112fcd2 initialize_matrix_A
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:3143
0x112fcd2 analyze_subscript_affine_affine
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:3568
0x113632b analyze_miv_subscript
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:4014
0x113632b analyze_overlapping_iterations
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:4120
0x113632b subscript_dependence_tester_1
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:4656
0x1136ac7 subscript_dependence_tester_1
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:4652
0x1136ac7 subscript_dependence_tester
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:4706
0x1136ac7 compute_affine_dependence(data_dependence_relation*, loop*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-data-ref.c:4765
0xab3f61 get_data_dependence
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-loop-distribution.c:1188
0xab4195 data_dep_in_cycle_p
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-loop-distribution.c:1210
0xab4195 update_type_for_merge
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-loop-distribution.c:1255
0xab5b97 build_rdg_partition_for_vertex
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-loop-distribution.c:1302
0xab5b97 rdg_build_partitions
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-loop-distribution.c:1754
0xab5b97 distribute_loop
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-loop-distribution.c:2795
0xab88a0 execute
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-arm/build/gcc/tree-loop-distribution.c:3133