This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/50865] Invalid code generation for INT64_MIN % 1 on x86_64
- From: "jaak at ristioja dot ee" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 25 Oct 2011 16:08:19 +0000
- Subject: [Bug tree-optimization/50865] Invalid code generation for INT64_MIN % 1 on x86_64
- Auto-submitted: auto-generated
- References: <bug-50865-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50865
--- Comment #7 from Jaak Ristioja <jaak at ristioja dot ee> 2011-10-25 16:08:19 UTC ---
(In reply to comment #6)
> /* X % -Y is the same as X % Y. */
> (fold-const.c:fold_binary_loc) would probably be what's wrong here.
On the other hand
https://www.securecoding.cert.org/confluence/display/seccode/INT32-C.+Ensure+that+operations+on+signed+integers+do+not+result+in+overflow#INT32-C.Ensurethatoperationsonsignedintegersdonotresultinoverflow-Modulo
also refers to C99, saying that X % Y and X % -Y are equivalent.