diff --git a/proposals/custom-page-sizes/Overview.md b/proposals/custom-page-sizes/Overview.md index 3713a0f..5bd8f31 100644 --- a/proposals/custom-page-sizes/Overview.md +++ b/proposals/custom-page-sizes/Overview.md @@ -242,6 +242,8 @@ The [memory abbreviation] is extended to allow an optional page size as well: with the following two bullet points: + * The `limits` must be valid within the range `2**32` - 1. + * The `limits` must be valid within the range `2**32 / pagesize` #### Execution @@ -283,6 +285,8 @@ The [memory abbreviation] is extended to allow an optional page size as well: * Let `len` be `n` added to the length of `meminst.data` divided by `pagesize`. + * If `len` is larger than or equal to `2**32`, then fail. + * If `len` is larger than `2**32` divided by `pagesize`, then fail. * Replace step 8 with the following step: