Re: VRP: make range_includes_zero_p handle value_ranges

2018-08-24 Thread Aldy Hernandez
On 08/24/2018 05:08 AM, Richard Biener wrote: @@ -1407,7 +1407,10 @@ extract_range_from_binary_expr_1 (value_range *vr, && code != POINTER_PLUS_EXPR && (vr0.type == VR_VARYING || vr1.type == VR_VARYING - || vr0.type != vr1.type + || (vr0.type != vr1.

Re: VRP: make range_includes_zero_p handle value_ranges

2018-08-24 Thread Richard Biener
On Thu, Aug 23, 2018 at 4:50 PM Aldy Hernandez wrote: > > > > On 08/23/2018 05:59 AM, Richard Biener wrote: > > On Wed, Aug 22, 2018 at 11:31 AM Aldy Hernandez wrote: > >> > >> > >> > >> On 08/21/2018 05:46 AM, Richard Biener wrote: > >>> On Wed, Aug 15, 2018 at 3:33 AM Aldy Hernandez wrote: > >

Re: VRP: make range_includes_zero_p handle value_ranges

2018-08-23 Thread Aldy Hernandez
On 08/23/2018 05:59 AM, Richard Biener wrote: On Wed, Aug 22, 2018 at 11:31 AM Aldy Hernandez wrote: On 08/21/2018 05:46 AM, Richard Biener wrote: On Wed, Aug 15, 2018 at 3:33 AM Aldy Hernandez wrote: Finally, my apologies for including a tiny change to the POINTER_PLUS_EXPR handling

Re: VRP: make range_includes_zero_p handle value_ranges

2018-08-23 Thread Richard Biener
On Wed, Aug 22, 2018 at 11:31 AM Aldy Hernandez wrote: > > > > On 08/21/2018 05:46 AM, Richard Biener wrote: > > On Wed, Aug 15, 2018 at 3:33 AM Aldy Hernandez wrote: > > >> Finally, my apologies for including a tiny change to the > >> POINTER_PLUS_EXPR handling code as well. It came about the s

VRP: make range_includes_zero_p handle value_ranges

2018-08-22 Thread Aldy Hernandez
On 08/21/2018 05:46 AM, Richard Biener wrote: On Wed, Aug 15, 2018 at 3:33 AM Aldy Hernandez wrote: Finally, my apologies for including a tiny change to the POINTER_PLUS_EXPR handling code as well. It came about the same set of auditing tests. Bah, please split up things here ;) I've do