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.
