[Bug middle-end/46851] New: ICE: in compute_affine_dependence, at tree-data-ref.c:3897 with -fcheck-data-deps

[zsojka at seznam dot cz]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46851

           Summary: ICE: in compute_affine_dependence, at
                    tree-data-ref.c:3897 with -fcheck-data-deps
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: spop@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 22687
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22687
gcc.dg/autopar/pr39500-2.c

Compiler output:
$ gcc -O -fcheck-data-deps pr46851.c

(Number of distance vectors differ: Banerjee has 1, Omega has 0.
Banerjee dist vectors:
100 
Omega dist vectors:
data dependence relation:
(Data Dep: 
#(Data Ref: 
#  stmt: D.2689_4 = x[D.2688_3];
#  ref: x[D.2688_3];
#  base_object: x
#  Access function 0: {100, +, 1}_1
#)
#(Data Ref: 
#  stmt: x[i_12] = D.2689_4;
#  ref: x[i_12];
#  base_object: x
#  Access function 0: {0, +, 1}_1
#)
  access_fn_A: {100, +, 1}_1
  access_fn_B: {0, +, 1}_1

 (subscript 
  iterations_that_access_an_element_twice_in_A: [100 + 1 * x_1]
  last_conflict: 1
  iterations_that_access_an_element_twice_in_B: [0 + 1 * x_1]
  last_conflict: 1
  (Subscript distance: 100
  )
 )
  inner loop index: 0
  loop nest: (1 )
)
)
pr46851.c: In function 'main':
pr46851.c:1:5: internal compiler error: in compute_affine_dependence, at
tree-data-ref.c:3897
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r167556 - crash
4.5 r166509 - crash
4.4 r166509 - crash

I wasn't able to further reduce the testcase.