Function wasi_path_remove_directory

src/wrappers.rs:668–694

(
    ctx: &mut VmCtx,
    v_fd: u32,
    pathname: u32,
    path_len: u32,
)

#[ensures(ctx_safe(ctx))]
#[ensures(trace_safe(trace, ctx))]
pub fn wasi_path_remove_directory(
    ctx: &mut VmCtx,
    v_fd: u32,
    pathname: u32,
    path_len: u32,
) -> RuntimeResult<()> {
    // let fd = ctx.fdmap.fd_to_native(v_fd)?;
    if v_fd != HOMEDIR_FD {
        return Err(Enotcapable);
    }
    assert!(v_fd == HOMEDIR_FD);
    let fd = ctx.homedir_host_fd;

    // unlinkat operates on symlinks
    let host_pathname = ctx.translate_path(pathname, path_len, false, fd);
    unwrap_result!(host_pathname);

    let res = trace_unlinkat(ctx, fd, host_pathname, libc::AT_REMOVEDIR);
    // posix spec allows unlinkat to return EEXIST for a non-empty directory
    // however, the wasi spec requires that ENOTEMPTY is returned
    // see: https://man7.org/linux/man-pages/man2/rmdir.2.html
    if let Err(Eexist) = res {
        return Err(RuntimeError::Enotempty);
    }
    res?;
    Ok(())
}

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