On 11/12/18 4:11 AM, Richard Biener wrote: > > This is a semantic change but AFAICS it shouldn't result in any > pessimization. The behavior of the API is non-obvious. > > Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. > > Richard. > > 2018-11-12 Richard Biener <rguent...@suse.de> > > * tree-vrp.c (set_value_range_to_nonnull): Clear equiv. > (set_value_range_to_null): Likewise. > * vr-values.c (vr_values::extract_range_from_comparison): > Clear equiv for constant singleton ranges. No concerns from my side. When I did my work last year I was trying to preserve existing semantics, so I didn't really look at places to drop uses of the equivalence bitmaps.
Jeff
