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

Move prctl to Linux specific shims.

Browse source
This commit is contained in:
Vytautas Astrauskas 2020-04-19 14:01:12 -07:00
parent d6c03926ab
commit 69df2e19de
2 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/shims/foreign_items/posix.rs
View file

@ -313,11 +313,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
assert_eq!(args.len(), 0);
this.pthread_self(dest)?;
}
"prctl" => {
assert_eq!(args.len(), 5);
let result = this.prctl(args[0], args[1], args[2], args[3], args[4])?;
this.write_scalar(Scalar::from_i32(result), dest)?;
}
"sched_yield" => {
assert_eq!(args.len(), 0);
let result = this.sched_yield()?;

7
src/shims/foreign_items/posix/linux.rs
View file

@ -75,6 +75,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
this.write_null(dest)?;
}
// Threading
"prctl" => {
assert_eq!(args.len(), 5);
let result = this.prctl(args[0], args[1], args[2], args[3], args[4])?;
this.write_scalar(Scalar::from_i32(result), dest)?;
}
// Dynamically invoked syscalls
"syscall" => {
let sys_getrandom = this