From edc5f7343338ddbbc2bae94be585cd821dbe8118 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Tue, 6 Mar 2018 10:26:23 +0100
Subject: [PATCH] Correct the shift overflow check in miri
---
src/librustc_mir/interpret/operator.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/librustc_mir/interpret/operator.rs b/src/librustc_mir/interpret/operator.rs
index a74fe63e53c..dfc0c4a824a 100644
--- a/src/librustc_mir/interpret/operator.rs
+++ b/src/librustc_mir/interpret/operator.rs
@@ -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;
}