diff --git a/proposals/bulk-memory-operations/Overview.md b/proposals/bulk-memory-operations/Overview.md index 824ce13318..de5e7b11b6 100644 --- a/proposals/bulk-memory-operations/Overview.md +++ b/proposals/bulk-memory-operations/Overview.md @@ -210,8 +210,9 @@ step 11 of but it behaves as though the segment were specified with the source offset, target offset, and length as given by the `memory.init` operands. +It is a validation error to use `memory.init` with an active segment. + A trap occurs if: -* the segment is passive * the segment is used after it has been dropped via `memory.drop` * any of the accessed bytes lies outside the source data segment or the target memory @@ -226,6 +227,8 @@ instruction. This instruction is intended to be used as an optimization hint to the WebAssembly implementation. After a memory segment is dropped its data can no longer be retrieved, so the memory used by this segment may be freed. +It is a validation error to use `memory.drop` with an active segment. + ### `memory.copy` instruction Copy data from a source memory region to destination region; these regions may