--
Bug 8681 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=8681
--- Additional Comments From dnovillo at gcc dot gnu dot org 2005-06-02
18:37 ---
Fixed. Likely with http://gcc.gnu.org/ml/gcc-patches/2005-06/msg00127.html
--
What|Removed |Added
-
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-10 05:37
---
The same patch for PR 21458 would work.
--
What|Removed |Added
AssignedTo|unassigned
--- Additional Comments From pinskia at physics dot uc dot edu 2005-04-24
18:10 ---
Subject: Re: Generates unneeded test
On Apr 24, 2005, at 2:06 PM, Diego Novillo wrote:
> What is the type of 'i'? If it's unsigned, then we would be
> wasting our time.
It is signed, otherwise "i <
On Apr 24, 2005, at 2:06 PM, Diego Novillo wrote:
What is the type of 'i'? If it's unsigned, then we would be
wasting our time.
It is signed, otherwise "i < 0" will always be true and the conditional
would have gotten rid of already.
-- Pinski
--- Additional Comments From dnovillo at redhat dot com 2005-04-24 18:07
---
Subject: Re: Generates unneeded test
On Sun, Apr 24, 2005 at 05:56:50PM -, pinskia at gcc dot gnu dot org wrote:
>
> i_15: [1, 2147483647]
> i_16: [0, 2147483647]
> i_20: VARYING
>
> # i_20 = PHI ;
>
On Sun, Apr 24, 2005 at 05:56:50PM -, pinskia at gcc dot gnu dot org wrote:
>
> i_15: [1, 2147483647]
> i_16: [0, 2147483647]
> i_20: VARYING
>
> # i_20 = PHI ;
>
>
> Looks like VRP does not understand PHI functions or it just gives up too
> often.
>
i_15 and 0 have a non-empty interse
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-24
17:56 ---
i_15: [1, 2147483647]
i_16: [0, 2147483647]
i_20: VARYING
# i_20 = PHI ;
Looks like VRP does not understand PHI functions or it just gives up too often.
--
What|Removed
--- Additional Comments From kazu at cs dot umass dot edu 2005-01-22 18:14
---
Still not fixed at tree level.
sum (p)
{
unsigned int D.1166;
unsigned int D.1161;
int result;
int i;
:
result = 0;
i = 0;
goto ();
:;
if (i < 0) goto ; else goto ;
:;
result = 0;
:;
10 matches
Mail list logo
