https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110377
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I think the [[assume]] stuff can actually do this
