--
Bug 21332 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
---
--- Additional Comments From dnovillo at gcc dot gnu dot org 2005-06-02
03:06 ---
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 21332
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 steven at gcc dot gnu dot org 2005-05-25
15:05 ---
For the record.
http://gcc.gnu.org/ml/gcc-patches/2005-05/msg01805.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21332
--
What|Removed |Added
Priority|P2 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21332
--- Additional Comments From steven at gcc dot gnu dot org 2005-05-17
08:14 ---
SSA form after inserting ASSERT_EXPRs
main ()
{
int i;
int c;
int b;
int D.1576;
:
c_4 = f ();
if (c_4 <= 0) goto ; else goto ;
:;
c_8 = ASSERT_EXPR ;
c_7 = -c_8;
goto ();
--- Additional Comments From belyshev at depni dot sinp dot msu dot ru
2005-05-02 12:06 ---
// this testcase fails also on amd64:
extern void abort (void);
int f ()
{
return -1;
}
int main ()
{
int b, c, i;
b = 0;
c = f ();
if (c <= 0)
{
c = -c;
for (i = 0;
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-05-02
11:59 ---
Confirmed, this is a VRP problem.
--
What|Removed |Added
CC|