Before invoking the array_checker, we need to reset scev so it will not try to
access any ssa_names that the substitute and fold engine has freed.
PR tree-optimization/102940
* tree-vrp.c (execute_ranger_vrp): Reset scev.
if (dump_file && (dump_flags & TDF_DETAILS))
ranger->dump (dump_file);
-
if (warn_array_bounds && warn_array_bounds_p)
{
// Set all edges as executable, except those ranger says aren't.
else
e->flags |= EDGE_EXECUTABLE;
}
+ scev_reset ();
array_bounds_checker array_checker (fun, ranger);
array_checker.check ();
}