From d20d787bb7196dd766af862635649486bcebe673 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Fri, 17 May 2019 14:23:01 -0700
Subject: [PATCH] Don't grant __WASI_RIGHT_FD_FILESTAT_SET_SIZE for
 directories.

RIGHTS_DIRECTORY_BASE should not include
__WASI_RIGHT_FD_FILESTAT_SET_SIZE, because that would imply the ability
to set the size of a directory.
---
 src/host.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/host.rs b/src/host.rs
index b4b5f13eee..e2f19ab4cc 100644
--- a/src/host.rs
+++ b/src/host.rs
@@ -248,7 +248,6 @@ pub const RIGHTS_DIRECTORY_BASE: __wasi_rights_t = __WASI_RIGHT_FD_FDSTAT_SET_FL
     | __WASI_RIGHT_PATH_FILESTAT_SET_SIZE
     | __WASI_RIGHT_PATH_FILESTAT_SET_TIMES
     | __WASI_RIGHT_FD_FILESTAT_GET
-    | __WASI_RIGHT_FD_FILESTAT_SET_SIZE
     | __WASI_RIGHT_FD_FILESTAT_SET_TIMES
     | __WASI_RIGHT_PATH_SYMLINK
     | __WASI_RIGHT_PATH_UNLINK_FILE