user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix casts for count check

Browse source
This commit is contained in:
Christian Poveda 2019-11-03 10:04:00 -06:00
parent 06ef77bfef
commit d0b4407b25
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/shims/fs.rs
View file

@ -146,7 +146,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
// `File::sync_all` does the checks that are done when closing a file. We do this to
// to handle possible errors correctly.
let result = this.try_unwrap_io_result(handle.file.sync_all().map(|_| 0i32));
// Now we actually drop the handle.
// Now we actually close the file.
drop(handle);
// And return the result.
result
@ -180,7 +180,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
if let Ok(c) = result {
// Check that we read less than `i64::MAX` bytes.
if c > (i64::max_value() as usize) {
if (c as u64) > (i64::max_value() as u64) {
throw_unsup_format!("Number of read bytes {} is larger than the maximum value", c);
}
// If reading to `bytes` did not fail, we write those bytes to the buffer.
@ -217,7 +217,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
if let Ok(c) = result {
// Check that we wrote less than `i64::MAX` bytes.
if c > (i64::max_value() as usize) {
if (c as u64) > (i64::max_value() as u64) {
throw_unsup_format!("Number of written bytes {} is larger than the maximum value", c);
}
}