David> For integer types, it now uses a new WithinRange abstract value,
David> describing the closed interval of possible values i.e.:
David> minvalue <= x <= maxvalue
It seems a shame that one cannot reuse the code tree-vrp.c for this.
It implies that you may end up rewriting many passes in Python for
similar reasons.
Tom