An attempt to divide by zero is made (causing ICE on the attached test case) for evolution functions with zero step.
For the following evolution functions of pS[i_15].x and pS[i_15].y from the attached test (chrec_a = {{0, +, 1}_1, +, 0}_2) (chrec_b = {{1, +, 1}_1, +, 0}_2) the difference (-1) is calculated, and then the check whether the step (0)divides the difference is performed in function chrec_steps_divide_constant_p (tree-data-ref.c), causing ICE. -- Summary: ICE in data-refs dependence testing Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: irar at il dot ibm dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31343