Auto merge of #1053 - RalfJung:clean, r=RalfJung

remove no-longer-needed zero checks
rust-lang · Nov 14, 2019 · 2bdf163 · 2bdf163
2 parents bf96b47 + c790317
commit 2bdf163
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/src/shims/fs.rs b/src/shims/fs.rs
@@ -175,10 +175,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             .to_machine_usize(&*this.tcx)?
             .min((1 << (ptr_size - 1)) - 1) // max value of target `isize`
             .min(isize::max_value() as u64);
-        // Reading zero bytes should not change `buf`.
-        if count == 0 {
-            return Ok(0);
-        }
+
         let fd = this.read_scalar(fd_op)?.to_i32()?;
         let buf = this.read_scalar(buf_op)?.not_undef()?;
 
@@ -231,10 +228,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             .to_machine_usize(&*this.tcx)?
             .min((1 << (ptr_size - 1)) - 1) // max value of target `isize`
             .min(isize::max_value() as u64);
-        // Writing zero bytes should not change `buf`.
-        if count == 0 {
-            return Ok(0);
-        }
+
         let fd = this.read_scalar(fd_op)?.to_i32()?;
         let buf = this.read_scalar(buf_op)?.not_undef()?;