[Bug tree-optimization/70226] New: ICE in compute_affine_dependence at tree-data-ref.c:4313

["tarasevich at cs dot uni-saarland.de" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 70226
           Summary: ICE in compute_affine_dependence at
                    tree-data-ref.c:4313
           Product: gcc
           Version: 5.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tarasevich at cs dot uni-saarland.de
  Target Milestone: ---

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

SSIA.
GCC 5.3.0 built from source on Ubuntu 14.04
Bugs, that might be related: 46851, 49632 and 61980

../build/gcc_530_clean_bin/bin/gcc -O3 -fno-tree-dse -fcheck-data-deps -v
-save-temps test_case_61345.c               
Using built-in specs.
COLLECT_GCC=../build/gcc_530_clean_bin/bin/gcc
COLLECT_LTO_WRAPPER=/home/tarasevich/build/gcc_530_clean_bin/libexec/gcc/x86_64-unknown-linux-gnu/5.3.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../../source/gcc_530/configure
--prefix=/home/tarasevich/build/gcc_530_clean_bin/ --enable-languages=c
--disable-multilib --disable-bootstrap
CC=/home/tarasevich/build/llvm_371_bin/bin/clang
CXX=/home/tarasevich/build/llvm_371_bin/bin/clang++
Thread model: posix
gcc version 5.3.0 (GCC) 
COLLECT_GCC_OPTIONS='-O3' '-fno-tree-dse' '-fcheck-data-deps' '-v'
'-save-temps' '-mtune=generic' '-march=x86-64'

/home/tarasevich/build/gcc_530_clean_bin/libexec/gcc/x86_64-unknown-linux-gnu/5.3.0/cc1
-E -quiet -v -imultiarch x86_64-linux-gnu test_case_61345.c -mtune=generic
-march=x86-64 -fno-tree-dse -fcheck-data-deps -O3 -fpch-preprocess -o
test_case_61345.i
ignoring nonexistent directory "/usr/local/include/x86_64-linux-gnu"
ignoring nonexistent directory
"/home/tarasevich/build/gcc_530_clean_bin/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/home/tarasevich/build/gcc_530_clean_bin/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/include
 /usr/local/include
 /home/tarasevich/build/gcc_530_clean_bin/include

/home/tarasevich/build/gcc_530_clean_bin/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/include-fixed
 /usr/include/x86_64-linux-gnu
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-O3' '-fno-tree-dse' '-fcheck-data-deps' '-v'
'-save-temps' '-mtune=generic' '-march=x86-64'

/home/tarasevich/build/gcc_530_clean_bin/libexec/gcc/x86_64-unknown-linux-gnu/5.3.0/cc1
-fpreprocessed test_case_61345.i -quiet -dumpbase test_case_61345.c
-mtune=generic -march=x86-64 -auxbase test_case_61345 -O3 -version
-fno-tree-dse -fcheck-data-deps -o test_case_61345.s
GNU C11 (GCC) version 5.3.0 (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.2.1 Compatible Clang 3.7.1
(tags/RELEASE_371/final 263010), GMP version 5.1.3, MPFR version 3.1.2-p3, MPC
version 1.0.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU C11 (GCC) version 5.3.0 (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.2.1 Compatible Clang 3.7.1
(tags/RELEASE_371/final 263010), GMP version 5.1.3, MPFR version 3.1.2-p3, MPC
version 1.0.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: c53bb545b4c066cdbf5e42f0b9d9ad8b

(Number of distance vectors differ: Banerjee has 1, Omega has 2.
Banerjee dist vectors:
  0 
Omega dist vectors:
  0 
  1 
data dependence relation:
(Data Dep: 
#(Data Ref: 
#  bb: 3 
#  stmt: a = a;
#  ref: a
#  base_object: a;
#)
#(Data Ref: 
#  bb: 3 
#  stmt: a = a;
#  ref: a
#  base_object: a;
#)
  inner loop index: 0
  loop nest: (2 )
  distance_vector:   0 
  distance_vector:   1 
  direction_vector:     =
  direction_vector:     +
)
)
test_case_61345.c: In function 'main':
test_case_61345.c:8:5: internal compiler error: in compute_affine_dependence,
at tree-data-ref.c:4313
 int main() {
     ^
0xec80a8 compute_affine_dependence(data_dependence_relation*, loop*)
        ../../../source/gcc_530/gcc/tree-data-ref.c:4312
0xec83ba 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)
        ../../../source/gcc_530/gcc/tree-data-ref.c:4384
0xec8de8 compute_data_dependences_for_loop(loop*, bool, vec<loop*, va_heap,
vl_ptr>*, vec<data_reference*, va_heap, vl_ptr>*,
vec<data_dependence_relation*, va_heap, vl_ptr>*)
        ../../../source/gcc_530/gcc/tree-data-ref.c:4712
0xec9148 analyze_all_data_dependences(loop*)
        ../../../source/gcc_530/gcc/tree-data-ref.c:4820
0xec9148 tree_check_data_deps()
        ../../../source/gcc_530/gcc/tree-data-ref.c:4868
0xa1b99d (anonymous namespace)::pass_check_data_deps::execute(function*)
        ../../../source/gcc_530/gcc/tree-ssa-loop.c:342
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.