------- 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