value range propagation for _bitwise_ OR

[Steven Schveighoffer]

Jérôme M. Berger Wrote:

> Steven Schveighoffer wrote:
> > Fails for test case:
> > 
> > minA = 4, maxA = 4, minB = 4, maxB = 6 (outputs 7, accurate result is 6).
> > 
> 	Nope, outputs 6. Note that I've run an exhaustive search for all
> combinations in the [0, 63] range, so if there are mistakes they
> have to be outside that range...
> 

I'll have to double check, I thought I copied your code verbatim (I did switch around the arguments to be minA, maxA, minB, maxB to fit my test harness, and I changed the uint_32_t to uint).  I'll check tomorrow at work where the computer I used to test is.

-Steve