On Mon, 2020-05-18 at 20:08 +0200, Aldy Hernandez wrote: > We already moved the value_range class into its own class in the last > release. I think it's time to move the value_range_equiv stuff into its > own class, as it's a distraction from the VRP code. > > I've moved it to value-range-equiv.*, and gave it a semblance of order, > by putting the constructors and setters at the beginning, the dumpers at > the bottom, etc. > > No functional changes. > > OK for mainline? OK.
Jeff