[Bug tree-optimization/31605] [4.2/4.3 Regression] VRP eliminates a useful test due with conversion from unsigned int to int

2007-04-24 Thread mmitchel at gcc dot gnu dot org
-- mmitchel at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31605

[Bug tree-optimization/31605] [4.2/4.3 Regression] VRP eliminates a useful test due with conversion from unsigned int to int

2007-04-24 Thread ian at gcc dot gnu dot org
--- Comment #6 from ian at gcc dot gnu dot org 2007-04-24 23:24 --- Subject: Bug 31605 Author: ian Date: Tue Apr 24 23:24:01 2007 New Revision: 124128 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=124128 Log: ./: PR tree-optimization/31605 * tree-vrp.c

[Bug tree-optimization/31605] [4.2/4.3 Regression] VRP eliminates a useful test due with conversion from unsigned int to int

2007-04-24 Thread ian at gcc dot gnu dot org
--- Comment #7 from ian at gcc dot gnu dot org 2007-04-24 23:26 --- Subject: Bug 31605 Author: ian Date: Tue Apr 24 23:26:25 2007 New Revision: 124129 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=124129 Log: ./ChangeLog: PR tree-optimization/31605 * tree-vrp.c

[Bug tree-optimization/31605] [4.2/4.3 Regression] VRP eliminates a useful test due with conversion from unsigned int to int

2007-04-24 Thread ian at airs dot com
--- Comment #8 from ian at airs dot com 2007-04-24 23:28 --- Fixed on mainline and 4.2 branch. -- ian at airs dot com changed: What|Removed |Added Status|NEW

[Bug tree-optimization/31605] [4.2/4.3 Regression] VRP eliminates a useful test due with conversion from unsigned int to int

2007-04-20 Thread ian at airs dot com
--- Comment #5 from ian at airs dot com 2007-04-21 02:08 --- Created an attachment (id=13399) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13399action=view) Proposed patch Currently testing. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31605

[Bug tree-optimization/31605] [4.2/4.3 Regression] VRP eliminates a useful test due with conversion from unsigned int to int

2007-04-17 Thread pinskia at gcc dot gnu dot org
--- Comment #4 from pinskia at gcc dot gnu dot org 2007-04-17 20:27 --- And it is a bug on the 4.2 branch. Before Ian's patch we got the following ranges for the testcase in comment #2: D.1528_1: VARYING start_2: VARYING D.1528_3: VARYING cur_bitshift_4: ~[0, 0] EQUIVALENCES: { } (0