This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/31995] can't determine dependence between p->a[x+i] and p->a[x+i+1]
- From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 20 May 2007 08:40:16 -0000
- Subject: [Bug tree-optimization/31995] can't determine dependence between p->a[x+i] and p->a[x+i+1]
- References: <bug-31995-6528@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from pinskia at gcc dot gnu dot org 2007-05-20 09:40 -------
Created an attachment (id=13587)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13587&action=view)
Patch which fixes the problem
I think this patch is correct, the issue is two fold, one we don't consider
invariants when we are dealing with evolution_function_is_affine_multivariate_p
and then we don't see if index == index in build_classic_dist_vector_1 which
causes us to reject the distance vector. This patch has not been bootstrapped
or tested at all, it only has been tested on the testcase in the bug report.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |pinskia at gcc dot gnu dot
|dot org |org
Status|UNCONFIRMED |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31995