We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f0f8ebb commit c99cd52Copy full SHA for c99cd52
src/tools/miri/src/shims/unix/solarish/foreign_items.rs
@@ -77,11 +77,11 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
77
// cpus.
78
// https://docs.oracle.com/cd/E88353_01/html/E37841/pset-info-2.html
79
80
- let ps_myid = this.eval_libc_i32("PS_MYID");
81
let pset = this.read_scalar(pset)?.to_i32()?;
82
let tpe = this.read_pointer(tpe)?;
83
let list = this.read_pointer(list)?;
84
+ let ps_myid = this.eval_libc_i32("PS_MYID");
85
if ps_myid != pset {
86
throw_unsup_format!("pset_info is only supported with pset==PS_MYID");
87
}
0 commit comments