https://gcc.gnu.org/bugzilla/show_bug.cgi?id=22200
--- Comment #46 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #45) > > This seems very clear that numeric_limits<int>::is_modulo should be false > *unless* -fwrapv is used. I'm going to close this now. If GCC gets a macro > that allows us to detect the presence of -fwrapv we can revisit it. One thing that should be noted is that fwrapv setting could be even per function so I suspect it is more complex than that.