Re: [PATCH][4/n] VRP and anti-range handling

2012-07-26 Thread Roman Zhuykov
2012/6/18 Richard Guenther : > On Fri, 15 Jun 2012, Richard Guenther wrote: > >> >> This tries to completely implement the intersect primitive for >> VRP (what extract_range_from_assert does at its end when merging >> new and old knowledge). >> >> Bootstrap and regtest pending on x86_64-unknown-lin

Re: [PATCH][4/n] VRP and anti-range handling

2012-06-18 Thread Dominique Dhumieres
Hi, Before revision 188728, the test gcc.dg/tree-ssa/vrp68.c failed because link_error appeared twice in the dump file. After r188728 it fails also at link time and link_error appears three time: FAIL: gcc.dg/tree-ssa/vrp68.c (test for excess errors) Excess errors: Undefined symbols: "_link_err

Re: [PATCH][4/n] VRP and anti-range handling

2012-06-18 Thread Richard Guenther
On Fri, 15 Jun 2012, Richard Guenther wrote: > > This tries to completely implement the intersect primitive for > VRP (what extract_range_from_assert does at its end when merging > new and old knowledge). > > Bootstrap and regtest pending on x86_64-unknown-linux-gnu. > > I plan to re-organize v

[PATCH][4/n] VRP and anti-range handling

2012-06-15 Thread Richard Guenther
This tries to completely implement the intersect primitive for VRP (what extract_range_from_assert does at its end when merging new and old knowledge). Bootstrap and regtest pending on x86_64-unknown-linux-gnu. I plan to re-organize vrp_meet in a similar fashion as a followup. Richard. 2012-06