[Bug tree-optimization/22230] [4.1 Regression] value range propagation error

--- Additional Comments From steven at gcc dot gnu dot org 2005-07-14 23:00 --- Nailed. -- What|Removed |Added Status|ASSIGNED|RESOLVED

[Bug tree-optimization/22230] [4.1 Regression] value range propagation error

--- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-07-14 22:55 --- Subject: Bug 22230 CVSROOT:/cvs/gcc Module name:gcc Changes by: [EMAIL PROTECTED] 2005-07-14 22:54:43 Modified files: gcc: ChangeLog tree-vrp.c gcc/tes

[Bug tree-optimization/22230] [4.1 Regression] value range propagation error

--- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-14 20:41 --- Patch posted here: . -- What|Removed |Added -

[Bug tree-optimization/22230] [4.1 Regression] value range propagation error

--- Additional Comments From steven at gcc dot gnu dot org 2005-07-14 19:42 --- I believe this is the fix. Testing it now... Index: tree-vrp.c === RCS file: /cvs/gcc/gcc/gcc/tree-vrp.c,v retrieving revision 2.40 diff

[Bug tree-optimization/22230] [4.1 Regression] value range propagation error

--- Additional Comments From steven at gcc dot gnu dot org 2005-07-14 17:02 --- The bug is that the 4 cross operations are not computed properly. In extract_range_from_binary_expr we compute them as follows: /* Compute the 4 cross operations. */ val[0] = vrp_int_const_

[Bug tree-optimization/22230] [4.1 Regression] value range propagation error

--- Additional Comments From steven at gcc dot gnu dot org 2005-07-14 16:16 --- Diego is always too busy to fix his bugs, so I'll take a look at this one. -- What|Removed |Added --

[Bug tree-optimization/22230] [4.1 Regression] value range propagation error

--- Additional Comments From belyshev at depni dot sinp dot msu dot ru 2005-07-12 14:44 --- // corrected tescase // fails with -O1 -ftree-vrp // doesn't fail with -O1 // introduced between 2005-06-15 2005-06-16 void abort (void); int main (void) { long a, i; for (i = 0; i

[Bug tree-optimization/22230] [4.1 Regression] value range propagation error

--- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-29 14:55 --- Confirmed, a little more reduced: void abort (void); int main() { long i; long arr; for (i = 0; i < 4; i++) arr = i * i; if (arr != 4*4) abort (); return 0; } -- What|Remov