Switch from using EINVAL to throw_unsup_format

tiif · tiif · commit 05452fab2627 · 2024-06-09T17:03:41.000+08:00
diff --git a/src/shims/unix/linux/eventfd.rs b/src/shims/unix/linux/eventfd.rs
@@ -176,9 +176,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
             is_nonblock = true;
         }
         if flags != 0 {
-            let einval = this.eval_libc("EINVAL");
-            this.set_last_error(einval)?;
-            return Ok(Scalar::from_i32(-1));
+            throw_unsup_format!("eventfd: Flags other than EFD_CLOEXEC, EFD_NONBLOCK \
+            and EFD_SEMAPHORE is not supported.");
         }
 
         let fd = this.machine.fds.insert_fd(FileDescriptor::new(Event {

Original file line number	Diff line number	Diff line change
`@@ -176,9 +176,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`176`	`176`	`is_nonblock = true;`
`177`	`177`	`}`
`178`	`178`	`if flags != 0 {`
`179`		`- let einval = this.eval_libc("EINVAL");`
`180`		`- this.set_last_error(einval)?;`
`181`		`- return Ok(Scalar::from_i32(-1));`
	`179`	`+ throw_unsup_format!("eventfd: Flags other than EFD_CLOEXEC, EFD_NONBLOCK \`
	`180`	`+ and EFD_SEMAPHORE is not supported.");`
`182`	`181`	`}`
`183`	`182`
`184`	`183`	`let fd = this.machine.fds.insert_fd(FileDescriptor::new(Event {`