--
Bug 21289 depends on bug 18373, which changed state.
Bug 18373 Summary: [meta-bug] VRP Value Range Propagation
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18373
What|Old Value |New Value
---
--
What|Removed |Added
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21289
--- Additional Comments From dnovillo at gcc dot gnu dot org 2005-06-02
03:08 ---
Fixed. http://gcc.gnu.org/ml/gcc-patches/2005-06/msg00127.html
--
What|Removed |Added
--- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-06-02
02:57 ---
Subject: Bug 21289
CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED] 2005-06-02 02:57:15
Modified files:
gcc: ChangeLog fold-const.c tree-flow.h
--- Additional Comments From dnovillo at redhat dot com 2005-05-14 20:00
---
Subject: Re: A numeric range is spoiled by a symblic one in VRP
On Sat, May 14, 2005 at 07:40:04PM -, kazu at cs dot umass dot edu wrote:
>
> --- Additional Comments From kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-14 19:40
---
Another case of a numeric value range spoiled by a symbolic one:
int
foo (int a, int b)
{
if (a == 0)
return 0;
if (a == b)
if (a == 0)
return 123;
return 456;
}
Reduced from c-common.c
--- Additional Comments From dberlin at gcc dot gnu dot org 2005-04-29
20:37 ---
(In reply to comment #1)
> Confirmed, to me if the range of a variable is not really a range but one
value, it should always merge. I
> think that is safe.
It's only safe if both old ranges dominate the n
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-29
19:28 ---
Confirmed, to me if the range of a variable is not really a range but one
value, it should always merge. I
think that is safe.
--
What|Removed |Added
-
