------- Comment #4 from rguenth at gcc dot gnu dot org 2007-02-06 10:08 ------- Created an attachment (id=13013) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13013&action=view) alternate patch
This patch tackes the issue by allowing a_2 = ASSERT_EXRP <a_1, (unsigned)a_1 + 5 <= 10> (and similar expressions). A variant of this patch which had not undergone a last-minute cosmetic cleanup survivied all-languages bootstrap and regtest on x86_64-unknown-linux-gnu. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30317