[PATCH](ping) Fix PR15911, VRP for && and ||
Richard Guenther
rguenther@suse.de
Mon Oct 23 16:02:00 GMT 2006
On Sun, 22 Oct 2006, Richard Guenther wrote:
> On Sun, 22 Oct 2006, Diego Novillo wrote:
>
> > Richard Guenther wrote on 10/22/06 09:57:
> >
> > > 2006-04-25 Jeff Law <law@redhat.com>
> > > Richard Guenther <rguenther@suse.de>
> > >
> > > PR tree-optimization/15911
> > > * tree-vrp.c (extract_code_and_val_from_cond): New function.
> > > (register_edge_assert_for_1): Likewise.
> > > (register_edge_assert_for): Handle &&/&/||/| in conditionals.
> > > (find_conditional_asserts): Adjust for new function signature.
> > > (find_assert_locations): Likewise.
> > >
> > Has this changed since May?
>
> No, apart from the added documentation of a return value you noticed
> back then.
>
> > > + /* We cannot handle float types at all and will ICE in
> > > + various ways down from compare_values. */
> > >
> > May be not. This comment still needs fixing. s/We cannot/VRP does not/
> > Not handling float types is done on purpose.
>
> Yeah.
>
> > If nothing else changed, OK with that fix.
We're ICEing building aermod.f90 from Polyhedron due to this patch -
I'm investigating.
Richard.
--
Richard Guenther <rguenther@suse.de>
Novell / SUSE Labs
More information about the Gcc-patches
mailing list