[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2007-01-08 Thread rguenth at gcc dot gnu dot org
--- Comment #11 from rguenth at gcc dot gnu dot org 2007-01-08 11:20 --- Subject: Bug 23603 Author: rguenth Date: Mon Jan 8 11:20:00 2007 New Revision: 120578 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=120578 Log: 2007-01-08 Richard Guenther [EMAIL PROTECTED] PR

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2007-01-08 Thread rguenth at gcc dot gnu dot org
--- Comment #12 from rguenth at gcc dot gnu dot org 2007-01-08 11:21 --- Fixed. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2007-01-07 Thread rguenth at gcc dot gnu dot org
--- Comment #10 from rguenth at gcc dot gnu dot org 2007-01-07 17:44 --- In extract_range_from_binary we have another case where we drop to varying: /* For integer ranges, apply the operation to each end of the range and see what we end up with. */ if (code ==

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2006-08-21 Thread pinskia at gcc dot gnu dot org
--- Comment #9 from pinskia at gcc dot gnu dot org 2006-08-21 06:11 --- I am going to try to get this done for 4.3.0. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-10-22 Thread pinskia at gcc dot gnu dot org
--- Comment #8 from pinskia at gcc dot gnu dot org 2005-10-23 00:06 --- The patch above is almost correct and I just lost the correct one as my laptop is dead so I am no longer working on this. -- pinskia at gcc dot gnu dot org changed: What|Removed

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-10-04 Thread pinskia at gcc dot gnu dot org
--- Comment #7 from pinskia at gcc dot gnu dot org 2005-10-04 19:44 --- (In reply to comment #6) I know it is in the gnat1 front-end but I really don't want to do the dumps for that :(. I figured out how to fix the problem but to me it seems like a front-end bug in that it does not

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-10-02 Thread pinskia at gcc dot gnu dot org
--- Comment #5 from pinskia at gcc dot gnu dot org 2005-10-03 00:43 --- I just tried to bootstrap the patch on x86_64-linux-gnu and I think I ran into another VRP bug. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23603

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-10-02 Thread pinskia at gcc dot gnu dot org
--- Comment #6 from pinskia at gcc dot gnu dot org 2005-10-03 02:39 --- (In reply to comment #5) I just tried to bootstrap the patch on x86_64-linux-gnu and I think I ran into another VRP bug. I could not find it in cc1files and there was only one extra Folding predicate in the whole

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-10-01 Thread dnovillo at gcc dot gnu dot org
-- Bug 23603 depends on bug 23604, which changed state. Bug 23604 Summary: [4.1 Regression] wrong code due to VRP http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23604 What|Old Value |New Value

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-08-28 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-28 17:22 --- The fix would be instead of setting the range to varrying in extract_range_from_comparison, set it to [0,1]. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23603

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-08-28 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-28 17:25 --- I have a fix. -- What|Removed |Added AssignedTo|unassigned at gcc dot gnu

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-08-28 Thread pinskia at gcc dot gnu dot org
-- What|Removed |Added BugsThisDependsOn||23604 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23603

[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

2005-08-28 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-29 00:49 --- This really does depend on PR 23604 as it exposes that latent bug while bootstrapping. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23603