Function wasi_fd_fdstat_set_flags

src/wrappers.rs:266–273

can only adjust Fdflags using set_flags, not O_flags or any other flags

(ctx: &mut VmCtx, v_fd: u32, v_flags: u32)

#[ensures(trace_safe(trace, ctx))]
// can only adjust Fdflags using set_flags, not O_flags or any other flags
pub fn wasi_fd_fdstat_set_flags(ctx: &mut VmCtx, v_fd: u32, v_flags: u32) -> RuntimeResult<()> {
    let flags = FdFlags::from(v_flags as i32);
    let fd = ctx.fdmap.fd_to_native(v_fd)?;

    let posix_flags = flags.to_posix();
    let ret = trace_fsetfl(ctx, fd, posix_flags)?;
    Ok(())
}

// https://github.com/WebAssembly/WASI/blob/main/phases/snapshot/docs.md#fd_filestat_get
// modifies: None