On 09/21/2012 12:03 AM, renoX wrote:
Thank for these slides.

I didn't get some part of the VRP slides: p40 of the third lesson:
byte a, b, c;
a = 1;
b = c | a; // error
Is-this really an error? A binary-or operation on bytes should return a
byte..

BR,
renoX

The result is an int but value range propagation makes it compile. The
slide seems to be in error.

Reply via email to