[Bug target/30484] INT_MIN % -1 is well defined for -fwrapv

[vincent-gcc at vinc17 dot net via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30484

--- Comment #12 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to Joseph S. Myers from comment #10)
> There is still a bug for the -fwrapv case, where clearly both INT_MIN / -1
> and INT_MIN % -1 should be well defined, but probably the extra checks
> if implemented should only be enabled implicitly for -fwrapv, not for C
> standards conformance modes.

I don't understand why it is still a bug for -fwrapv. Mathematically, INT_MIN %
-1 gives 0; there is no wrapping for the modulo. So, -fwrapv shouldn't
introduce a change.