On 10/31/2017 04:31 AM, Richard Biener wrote: > > Equivalence shouldn't be used from the extract_range_from_* routines. > Vrp_meet probably uses them though. Factoring this function would be nice. You'd think it shouldn't be needed :-)
If we look at extract_range_from_binary_expr_1, you'll see it calls vrp_meet... Sigh. WHich means that everything that calls extract_range_from_binary_expr_1 needs the equivalences passed around. Similarly we often call set_value_range* which wants access to the bitmap obstack as well. Jeff
