|
| 1 | +#ifdef __wasilibc_use_wasip2 |
| 2 | +#include <wasi/wasip2.h> |
| 3 | +#include <errno.h> |
| 4 | + |
| 5 | +static void translate_error(filesystem_error_code_t error) { |
| 6 | + switch (error) { |
| 7 | + case FILESYSTEM_ERROR_CODE_ACCESS: |
| 8 | + errno = __WASI_ERRNO_ACCES; |
| 9 | + break; |
| 10 | + case FILESYSTEM_ERROR_CODE_WOULD_BLOCK: |
| 11 | + errno = __WASI_ERRNO_AGAIN; |
| 12 | + break; |
| 13 | + case FILESYSTEM_ERROR_CODE_ALREADY: |
| 14 | + errno = __WASI_ERRNO_ALREADY; |
| 15 | + break; |
| 16 | + case FILESYSTEM_ERROR_CODE_BAD_DESCRIPTOR: |
| 17 | + errno = __WASI_ERRNO_BADF; |
| 18 | + break; |
| 19 | + case FILESYSTEM_ERROR_CODE_BUSY: |
| 20 | + errno = __WASI_ERRNO_BUSY; |
| 21 | + break; |
| 22 | + case FILESYSTEM_ERROR_CODE_DEADLOCK: |
| 23 | + errno = __WASI_ERRNO_DEADLK; |
| 24 | + break; |
| 25 | + case FILESYSTEM_ERROR_CODE_QUOTA: |
| 26 | + errno = __WASI_ERRNO_DQUOT; |
| 27 | + break; |
| 28 | + case FILESYSTEM_ERROR_CODE_EXIST: |
| 29 | + errno = __WASI_ERRNO_EXIST; |
| 30 | + break; |
| 31 | + case FILESYSTEM_ERROR_CODE_FILE_TOO_LARGE: |
| 32 | + errno = __WASI_ERRNO_FBIG; |
| 33 | + break; |
| 34 | + case FILESYSTEM_ERROR_CODE_ILLEGAL_BYTE_SEQUENCE: |
| 35 | + errno = __WASI_ERRNO_ILSEQ; |
| 36 | + break; |
| 37 | + case FILESYSTEM_ERROR_CODE_IN_PROGRESS: |
| 38 | + errno = __WASI_ERRNO_INPROGRESS; |
| 39 | + break; |
| 40 | + case FILESYSTEM_ERROR_CODE_INTERRUPTED: |
| 41 | + errno = __WASI_ERRNO_INTR; |
| 42 | + break; |
| 43 | + case FILESYSTEM_ERROR_CODE_INVALID: |
| 44 | + errno = __WASI_ERRNO_INVAL; |
| 45 | + break; |
| 46 | + case FILESYSTEM_ERROR_CODE_IO: |
| 47 | + errno = __WASI_ERRNO_IO; |
| 48 | + break; |
| 49 | + case FILESYSTEM_ERROR_CODE_IS_DIRECTORY: |
| 50 | + errno = __WASI_ERRNO_ISDIR; |
| 51 | + break; |
| 52 | + case FILESYSTEM_ERROR_CODE_LOOP: |
| 53 | + errno = __WASI_ERRNO_LOOP; |
| 54 | + break; |
| 55 | + case FILESYSTEM_ERROR_CODE_TOO_MANY_LINKS: |
| 56 | + errno = __WASI_ERRNO_MLINK; |
| 57 | + break; |
| 58 | + case FILESYSTEM_ERROR_CODE_MESSAGE_SIZE: |
| 59 | + errno = __WASI_ERRNO_MSGSIZE; |
| 60 | + break; |
| 61 | + case FILESYSTEM_ERROR_CODE_NAME_TOO_LONG: |
| 62 | + errno = __WASI_ERRNO_NAMETOOLONG; |
| 63 | + break; |
| 64 | + case FILESYSTEM_ERROR_CODE_NO_DEVICE: |
| 65 | + errno = __WASI_ERRNO_NODEV; |
| 66 | + break; |
| 67 | + case FILESYSTEM_ERROR_CODE_NO_ENTRY: |
| 68 | + errno = __WASI_ERRNO_NOENT; |
| 69 | + break; |
| 70 | + case FILESYSTEM_ERROR_CODE_NO_LOCK: |
| 71 | + errno = __WASI_ERRNO_NOLCK; |
| 72 | + break; |
| 73 | + case FILESYSTEM_ERROR_CODE_INSUFFICIENT_MEMORY: |
| 74 | + errno = __WASI_ERRNO_NOMEM; |
| 75 | + break; |
| 76 | + case FILESYSTEM_ERROR_CODE_INSUFFICIENT_SPACE: |
| 77 | + errno = __WASI_ERRNO_NOSPC; |
| 78 | + break; |
| 79 | + case FILESYSTEM_ERROR_CODE_NOT_DIRECTORY: |
| 80 | + errno = __WASI_ERRNO_NOTDIR; |
| 81 | + break; |
| 82 | + case FILESYSTEM_ERROR_CODE_NOT_EMPTY: |
| 83 | + errno = __WASI_ERRNO_NOTEMPTY; |
| 84 | + break; |
| 85 | + case FILESYSTEM_ERROR_CODE_NOT_RECOVERABLE: |
| 86 | + errno = __WASI_ERRNO_NOTRECOVERABLE; |
| 87 | + break; |
| 88 | + case FILESYSTEM_ERROR_CODE_UNSUPPORTED: |
| 89 | + errno = __WASI_ERRNO_NOTSUP; |
| 90 | + break; |
| 91 | + case FILESYSTEM_ERROR_CODE_NO_TTY: |
| 92 | + errno = __WASI_ERRNO_NOTTY; |
| 93 | + break; |
| 94 | + case FILESYSTEM_ERROR_CODE_NO_SUCH_DEVICE: |
| 95 | + errno = __WASI_ERRNO_NXIO; |
| 96 | + break; |
| 97 | + case FILESYSTEM_ERROR_CODE_OVERFLOW: |
| 98 | + errno = __WASI_ERRNO_OVERFLOW; |
| 99 | + break; |
| 100 | + case FILESYSTEM_ERROR_CODE_NOT_PERMITTED: |
| 101 | + errno = __WASI_ERRNO_PERM; |
| 102 | + break; |
| 103 | + case FILESYSTEM_ERROR_CODE_PIPE: |
| 104 | + errno = __WASI_ERRNO_PIPE; |
| 105 | + break; |
| 106 | + case FILESYSTEM_ERROR_CODE_READ_ONLY: |
| 107 | + errno = __WASI_ERRNO_ROFS; |
| 108 | + break; |
| 109 | + case FILESYSTEM_ERROR_CODE_INVALID_SEEK: |
| 110 | + errno = __WASI_ERRNO_SPIPE; |
| 111 | + break; |
| 112 | + case FILESYSTEM_ERROR_CODE_TEXT_FILE_BUSY: |
| 113 | + errno = __WASI_ERRNO_TXTBSY; |
| 114 | + break; |
| 115 | + case FILESYSTEM_ERROR_CODE_CROSS_DEVICE: |
| 116 | + errno = __WASI_ERRNO_XDEV; |
| 117 | + break; |
| 118 | + default: |
| 119 | + abort(); // Unreachable |
| 120 | + } |
| 121 | +} |
| 122 | +#endif |
0 commit comments