diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1c2f0562b6f6a4070ab96224f991c0599cbfd052..46e8c0e55e3de97d24d385ee5a25af2a3880b731 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-07-27 Sebastian Pop <sebastian.pop@amd.com> + + PR middle-end/45450 + * graphite-poly.c (apply_poly_transforms): Disable legality check + after an openscop read. + 2011-07-27 Sebastian Pop <sebastian.pop@amd.com> PR middle-end/47691 diff --git a/gcc/graphite-poly.c b/gcc/graphite-poly.c index bfdbc9f3af4c98d1b75ff8e9773f8edfe5cae3ed..db5b0cbf3add52719cff80bb27cf682f4f3b60d2 100644 --- a/gcc/graphite-poly.c +++ b/gcc/graphite-poly.c @@ -738,7 +738,11 @@ apply_poly_transforms (scop_p scop) graphite_file = init_graphite_in_file (file_scop_number); transform_done |= graphite_read_scop_file (graphite_file, scop); - if (!graphite_legal_transform (scop)) + /* We cannot check for the legality of the transform here: there + are cases where graphite_legal_transform cannot determine the + dependence at compile time. For an example, see the + explanation of why http://gcc.gnu.org/PR45450 is invalid. */ + if (0 && !graphite_legal_transform (scop)) fatal_error ("the graphite file read for scop %d does not contain a legal transform", (int) file_scop_number);