http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57511
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It looks like Index: gcc/tree-scalar-evolution.c =================================================================== --- gcc/tree-scalar-evolution.c (revision 202068) +++ gcc/tree-scalar-evolution.c (working copy) @@ -2252,6 +2252,7 @@ instantiate_scev_name (basic_block insta else if (res != chrec_dont_know) { if (inner_loop + && def_bb->loop_father != inner_loop && !flow_loop_nested_p (def_bb->loop_father, inner_loop)) /* ??? We could try to compute the overall effect of the loop here. */ res = chrec_dont_know; should be correct, but it has some testsuite fallout that needs to be analyzed (at least uncovering an IVOPTS issue).