2012/6/18 Richard Guenther rguent...@suse.de:
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
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 vrp_meet
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:
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.