https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111515
--- Comment #3 from Theodoros Theodoridis <theodort at inf dot ethz.ch> --- I'm re-reducing the case so that the missed optimization does not depend on inlining to main (the bisection will stay the same). I'll post the updated code soon.