On Tue, Sep 11, 2018 at 12:34 PM Aldy Hernandez <al...@redhat.com> wrote: > > For addition and subtraction, we're currently punting on things like > [0,0] - VR_VARYING. However, if we normalize VR_VARYING to the entire > domain, we can see that the above is actually [-MIN+1, +MAX]. > > We would've normally caught this sort of things with my rewrite of the > binary operators, but PLUS/MINUS are special in that they're pretty much > the only operator that keeps symbolics through it's calculations. This > is why we can't just blindly treat symbolics as [-MIN, +MAX] as I've > done elsewhere. PLUS/MINUS are handled specially (ugly) :-/. > > OK for trunk?
OK. >
