Slides from LASER 2012

[Timon Gehr]

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.