https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124895
--- Comment #4 from Soumya AR <soumyaa at gcc dot gnu.org> --- I compiled SPEC2017 and saw 0 codegen differences after moving the pass above pass_free_cfg. Same with GCC bootstrap. I also ran a GCC bootstrap with --enable-checking=all and that came clean as well so I think moving the pass up should be safe. I'll push the fix for GCC17 then?
