https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90774
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Shawn Landden from comment #3) > -fwrapv is completely legal even if it is not passed, and generally I think > this optimization (if applicable) would outweigh some UB optimizations. There was this idea that we could use UB overflows for the first part of the optimization pipeline, and at some point (around the last reassoc pass?) start pretending that -fwrapv is in effect.