]> git.lizzy.rs Git - rust.git/blobdiff - src/tools/miri/src/shims/unix/linux/foreign_items.rs
make eval_libc functions ICE on any problem
[rust.git] / src / tools / miri / src / shims / unix / linux / foreign_items.rs
index 34076e842d55b51226df6ddfcf1ce6f1dc3f450b..ff7b2b352f2d17d0fb36c088ae24b5d35d081ca0 100644 (file)
@@ -88,11 +88,11 @@ fn emulate_foreign_item_by_name(
                 // argument, we have to also check all arguments *before* it to ensure that they
                 // have the right type.
 
-                let sys_getrandom = this.eval_libc("SYS_getrandom")?.to_machine_usize(this)?;
+                let sys_getrandom = this.eval_libc("SYS_getrandom").to_machine_usize(this)?;
 
-                let sys_statx = this.eval_libc("SYS_statx")?.to_machine_usize(this)?;
+                let sys_statx = this.eval_libc("SYS_statx").to_machine_usize(this)?;
 
-                let sys_futex = this.eval_libc("SYS_futex")?.to_machine_usize(this)?;
+                let sys_futex = this.eval_libc("SYS_futex").to_machine_usize(this)?;
 
                 if args.is_empty() {
                     throw_ub_format!(
@@ -150,7 +150,7 @@ fn emulate_foreign_item_by_name(
                 this.read_scalar(cpusetsize)?.to_machine_usize(this)?;
                 this.deref_operand(mask)?;
                 // FIXME: we just return an error; `num_cpus` then falls back to `sysconf`.
-                let einval = this.eval_libc("EINVAL")?;
+                let einval = this.eval_libc("EINVAL");
                 this.set_last_error(einval)?;
                 this.write_scalar(Scalar::from_i32(-1), dest)?;
             }