[patch] Avoid division by zero in data-refs dependence analysis

Sebastian Pop sebastian.pop@inria.fr
Thu Mar 22 17:05:00 GMT 2007


On 3/22/07, Ira Rosen <IRAR@il.ibm.com> wrote:
> An attempt to divide by zero was made (causing ICE on the attached test
> case) for evolution functions with zero step.

I think that this is a problem in tree-scalar-evolution.c as I fail to
see what subscript is having an evolution of 0 in that testcase.

Anyway, I just think that we should never have a chrec with a
step set to zero.  So probably it is good to have a check for that
gcc_assert (!integer_zerop (CHREC_RIGHT (chrec)))
in one of the functions building chains of recurrences.

Let me see how I can fix the problem.  Can you also send the testcase
as a bug report.

Thank you,


More information about the Gcc-patches mailing list