[Bug tree-optimization/88651] New: tree-data-ref.c:3764:26: runtime error: signed integer overflow: 9223372036854775802 - -6 cannot be represented in type 'long int'

[marxin at gcc dot gnu.org]

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

            Bug ID: 88651
           Summary: tree-data-ref.c:3764:26: runtime error: signed integer
                    overflow: 9223372036854775802 - -6 cannot be
                    represented in type 'long int'
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
            Blocks: 63426
  Target Milestone: ---

Created attachment 45311
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45311&action=edit
test-case

UBSAN GCC compiler complains about:

$ ./xgcc -B. -c -O -ftree-loop-vectorize final.f90 
final.f90:65:8:

   65 | DO m= 1,zone(1)
      |        1
Warning: Deleted feature: End expression in DO loop at (1) must be integer
../../gcc/tree-data-ref.c:3764:26: runtime error: signed integer overflow:
9223372036854775802 - -6 cannot be represented in type 'long int'
    #0 0x457686a in analyze_subscript_affine_affine
../../gcc/tree-data-ref.c:3764
    #1 0x4577d03 in analyze_siv_subscript ../../gcc/tree-data-ref.c:3915
    #2 0x457935b in analyze_overlapping_iterations
../../gcc/tree-data-ref.c:4161
    #3 0x457c7c1 in subscript_dependence_tester_1
../../gcc/tree-data-ref.c:4702
    #4 0x457cb57 in subscript_dependence_tester ../../gcc/tree-data-ref.c:4752
    #5 0x457cf8a in compute_affine_dependence(data_dependence_relation*, loop*)
../../gcc/tree-data-ref.c:4811
    #6 0x457d4ef in compute_all_dependences(vec<data_reference*, va_heap,
vl_ptr>, vec<data_dependence_relation*, va_heap, vl_ptr>*, vec<loop*, va_heap,
vl_ptr>, bool) ../../gcc/tree-data-ref.c:4878
    #7 0x45bb302 in vect_analyze_data_ref_dependences(_loop_vec_info*, unsigned
int*) ../../gcc/tree-vect-data-refs.c:541
    #8 0x2b52e3c in vect_analyze_loop_2 ../../gcc/tree-vect-loop.c:1851
    #9 0x2b574c6 in vect_analyze_loop(loop*, _loop_vec_info*, vec_info_shared*)
../../gcc/tree-vect-loop.c:2270
    #10 0x2be22b4 in try_vectorize_loop_1 ../../gcc/tree-vectorizer.c:873
    #11 0x2be31b8 in try_vectorize_loop ../../gcc/tree-vectorizer.c:1019
    #12 0x2be34ea in vectorize_loops() ../../gcc/tree-vectorizer.c:1101
    #13 0x2831799 in execute ../../gcc/tree-ssa-loop.c:414
    #14 0x1ec9ffa in execute_one_pass(opt_pass*) ../../gcc/passes.c:2483
    #15 0x1eca890 in execute_pass_list_1 ../../gcc/passes.c:2569
    #16 0x1eca945 in execute_pass_list_1 ../../gcc/passes.c:2570
    #17 0x1eca945 in execute_pass_list_1 ../../gcc/passes.c:2570
    #18 0x1eca9e4 in execute_pass_list(function*, opt_pass*)
../../gcc/passes.c:2580
    #19 0x1162338 in cgraph_node::expand() ../../gcc/cgraphunit.c:2196
    #20 0x11638ff in expand_all_functions ../../gcc/cgraphunit.c:2334
    #21 0x1165f6e in symbol_table::compile() ../../gcc/cgraphunit.c:2685
    #22 0x11669d4 in symbol_table::finalize_compilation_unit()
../../gcc/cgraphunit.c:2863
    #23 0x22fe0f7 in compile_file ../../gcc/toplev.c:481
    #24 0x2305493 in do_compile ../../gcc/toplev.c:2176
    #25 0x2305ac1 in toplev::main(int, char**) ../../gcc/toplev.c:2311
    #26 0x466210c in main ../../gcc/main.c:39
    #27 0x7ffff608cfea in __libc_start_main ../csu/libc-start.c:308
    #28 0x872bd9 in _start
(/home/marxin/Programming/gcc2/objdir/gcc/f951+0x872bd9)


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63426
[Bug 63426] [meta-bug] Issues found with -fsanitize=undefined