https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107493
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:2b293a949c0fbe21e47c4bc99f807dc941c02bb6 commit r13-4357-g2b293a949c0fbe21e47c4bc99f807dc941c02bb6 Author: Richard Biener <rguent...@suse.de> Date: Mon Nov 28 10:25:44 2022 +0100 tree-optimization/107493 - SCEV analysis with conversions This shows another case where trying to validate conversions during the CHREC SCC analysis fails because said analysis assumes we are converting a complete SCC. Like the constraint on the initial conversion seen restrict all conversions handled to sign-changes. PR tree-optimization/107493 * tree-scalar-evolution.cc (scev_dfs::follow_ssa_edge_expr): Only handle no-op and sign-changing conversions. * gcc.dg/torture/pr107493.c: New testcase.
