Correct the shift overflow check in miri

This commit is contained in:
Oliver Schneider 2018-03-06 10:26:23 +01:00
parent aedd4c61ea
commit edc5f73433
No known key found for this signature in database
GPG Key ID: A69F8D225B3AD7D9

View File

@ -90,7 +90,7 @@ impl<'a, 'mir, 'tcx, M: Machine<'mir, 'tcx>> EvalContext<'a, 'mir, 'tcx, M> {
let signed = left_layout.abi.is_signed();
let mut r = r as u32;
let size = left_layout.size.bits() as u32;
let oflo = r > size;
let oflo = r >= size;
if oflo {
r %= size;
}