--- Comment #7 from pinskia at gcc dot gnu dot org 2009-09-26 18:22 ---
*** Bug 41477 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #5 from rguenth at gcc dot gnu dot org 2008-03-28 12:21 ---
Subject: Bug 30317
Author: rguenth
Date: Fri Mar 28 12:20:09 2008
New Revision: 133680
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=133680
Log:
2008-03-28 Richard Guenther [EMAIL PROTECTED]
PR
--- Comment #6 from rguenth at gcc dot gnu dot org 2008-03-28 12:56 ---
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- 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=13013action=view)
alternate patch
This patch tackes the issue by allowing
a_2 = ASSERT_EXRP a_1, (unsigned)a_1 + 5 = 10
(and
--- Comment #3 from rguenth at gcc dot gnu dot org 2007-01-21 22:44 ---
Created an attachment (id=12929)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12929action=view)
patch
This is what I currently have for this - it fails to bootstrap because it
miscompares. A variant without
--- Comment #2 from rguenth at gcc dot gnu dot org 2007-01-20 13:45 ---
I teached VRP to look for this idiom and during a C only bootstrap on i686 this
triggers 28921 times.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #1 from pinskia at gcc dot gnu dot org 2006-12-28 16:03 ---
I think the range folding should late in compiling after VRP2 happens. This
will also help out code that is written like:
if (i 0)
if (i = 5)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30317