diff options
| author | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-03-06 10:26:23 +0100 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-03-08 08:35:39 +0100 |
| commit | edc5f7343338ddbbc2bae94be585cd821dbe8118 (patch) | |
| tree | 5f023905cab8ef4637e6b7c1b131c33349bfa0d7 | |
| parent | aedd4c61ea372022e04be183da2f5768953ea2fe (diff) | |
| download | rust-edc5f7343338ddbbc2bae94be585cd821dbe8118.tar.gz rust-edc5f7343338ddbbc2bae94be585cd821dbe8118.zip | |
Correct the shift overflow check in miri
| -rw-r--r-- | src/librustc_mir/interpret/operator.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |