value range propagation for logical OR

[Andrei Alexandrescu]

Consider:

byte c = a | b;
Say you already know min_a, max_a, min_b, and max_b. How do you compute 
min_c and max_c? I thought of it for a bit and it seems quite tricky.


Thanks,

Andrei