value range propagation for _bitwise_ OR

[Adam D. Ruppe]

On Sat, Apr 10, 2010 at 02:57:59PM -0400, Adam D. Ruppe wrote:
> Let me test it... it seems to work. Here's the D program I used to brute-force
> the test:

Oh no! Eyeballing again showed a problem.. I should have put parens in my asserts:

a | b < f(a,b)   !=  (a|b) < f(a,b)

That breaks it. Back to the drawing board.

-- 
Adam D. Ruppe
http://arsdnet.net