https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104547
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- Actually, maybe not. CI was failing for an earlier iteration of r15-4473-g3abe751ea86e34 but the final version I pushed seems to be optimized well by vrp2. False alarm.