match this.read_scalar(args[0])?.to_usize(this)? {
id if id == sys_getrandom => {
// The first argument is the syscall id,
- // so skip over it
+ // so skip over it.
linux_getrandom(this, &args[1..], dest)?;
}
id => {
}
}
-// Shims the linux 'getrandom()' syscall
+// Shims the linux 'getrandom()' syscall.
fn linux_getrandom<'tcx>(
this: &mut MiriEvalContext<'_, 'tcx>,
args: &[OpTy<'tcx, Tag>],
let len = this.read_scalar(args[1])?.to_usize(this)?;
// The only supported flags are GRND_RANDOM and GRND_NONBLOCK,
- // neither of which have any effect on our current PRNG
+ // neither of which have any effect on our current PRNG.
let _flags = this.read_scalar(args[2])?.to_i32()?;
this.gen_random(ptr, len as usize)?;