------- 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