This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Avoid division by zero in data-refs dependence analysis
- From: "Sebastian Pop" <sebastian dot pop at inria dot fr>
- To: "Ira Rosen" <IRAR at il dot ibm dot com>
- Cc: gcc-patches at gnu dot org, "Revital1 Eres" <ERES at il dot ibm dot com>
- Date: Thu, 22 Mar 2007 16:58:27 +0100
- Subject: Re: [patch] Avoid division by zero in data-refs dependence analysis
- References: <OFE56E0686.7177B763-ONC22572A6.0047F1BA-C22572A6.004D84D1@il.ibm.com>
Hello,
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,
Sebastian
:REVIEWMAIL: