Loop distribution can release SSA names used in nb_iterations, make sure to release those.
Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. 2022-02-24 Richard Biener <rguent...@suse.de> PR tree-optimization/104676 * tree-loop-distribution.cc (loop_distribution::execute): Do a full scev_reset. * gcc.dg/torture/pr104676.c: New testcase. --- gcc/testsuite/gcc.dg/torture/pr104676.c | 35 +++++++++++++++++++++++++ gcc/tree-loop-distribution.cc | 2 +- 2 files changed, 36 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/torture/pr104676.c diff --git a/gcc/testsuite/gcc.dg/torture/pr104676.c b/gcc/testsuite/gcc.dg/torture/pr104676.c new file mode 100644 index 00000000000..50845bb9e15 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr104676.c @@ -0,0 +1,35 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-ftree-loop-distribution -ftree-parallelize-loops=2" } */ + +struct S { + int f; +}; + +int n; + +int +foo (struct S *s) +{ + int arr[3]; + int v = 0; + + for (n = 0; n < 2; ++n) + { + int i; + + for (i = 0; i < 2; ++i) + { + int j; + + for (j = 0; j < s->f; ++j) + ++v; + } + + if (v) + arr[0] = 0; + + arr[n + 1] = 0; + } + + return arr[0]; +} diff --git a/gcc/tree-loop-distribution.cc b/gcc/tree-loop-distribution.cc index c7b42857263..8ee40d88816 100644 --- a/gcc/tree-loop-distribution.cc +++ b/gcc/tree-loop-distribution.cc @@ -3853,7 +3853,7 @@ loop_distribution::execute (function *fun) /* Cached scalar evolutions now may refer to wrong or non-existing loops. */ - scev_reset_htab (); + scev_reset (); mark_virtual_operands_for_renaming (fun); rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa); } -- 2.34.1