mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fs shim: check that mode is default

Browse Source
This commit is contained in:
Ralf Jung 2020-05-05 16:49:01 +02:00
parent 13f1b5f653
commit 45ef97535f
1 changed files with 7 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/shims/fs.rs
View File

@ -246,18 +246,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
let flag = this.read_scalar(flag_op)?.to_i32()?;
// Check mode (size depends on platform).
// FIXME: should we do something with the mode?
match this.tcx.sess.target.target.target_os.as_str() {
"macos" => {
// FIXME: I think `mode` should be `u16` on macOS, but see
// <https://github.com/rust-lang/rust/issues/71915>.
// For now, just don't check on macos.
}
_ => {
this.read_scalar(mode_op)?.to_u32()?;
}
};
// Get the mode. On macOS, the argument type `mode_t` is actually `u16`, but
// C integer promotion rules mean that on the ABI level, it gets passed as `u32`
// (see https://github.com/rust-lang/rust/issues/71915).
let mode = this.read_scalar(mode_op)?.to_u32()?;
if mode != 0o666 {
throw_unsup_format!("non-default mode 0o{:o} is not supported", mode);
}
let mut options = OpenOptions::new();