This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/42721] possible integer wrong code bug
- From: "jakub at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 13 Jan 2010 16:09:10 -0000
- Subject: [Bug c/42721] possible integer wrong code bug
- References: <bug-42721-12544@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #8 from jakub at gcc dot gnu dot org 2010-01-13 16:09 -------
Created an attachment (id=19574)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19574&action=view)
gcc45-pr42721.patch
This is what I'm going to bootstrap/regtest now.
Regarding fallouts, I believe this particular one shouldn't have any, as
add_double_with_sign ... true is only called in 2 places, fold_div_comparison
where it fixes this bug and pointer_may_wrap_p, where it shouldn't make a
difference (h2 is 0, so if l < l1 is 1, h will be certainly != h1).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42721