Skip to content
This repository was archived by the owner on Apr 25, 2025. It is now read-only.

Commit e5af649

Browse files
authored
Merge pull request #537 from WebAssembly/fix-array-fill-copy-bounds
[Spec] Fix bounds check prose for array.fill and array.copy
2 parents e19c032 + c84a3c6 commit e5af649

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

document/core/exec/instructions.rst

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1065,7 +1065,7 @@ Reference Instructions
10651065

10661066
12. Assert: due to :ref:`validation <valid-array.fill>`, the :ref:`array instance <syntax-arrayinst>` :math:`S.\SARRAYS[a]` exists.
10671067

1068-
13. If :math:`d + n` is larger than or equal to the length of :math:`S.\SARRAYS[a].\AIFIELDS`, then:
1068+
13. If :math:`d + n` is larger than the length of :math:`S.\SARRAYS[a].\AIFIELDS`, then:
10691069

10701070
a. Trap.
10711071

@@ -1175,11 +1175,11 @@ Reference Instructions
11751175

11761176
23. Assert: due to :ref:`validation <valid-array.copy>`, the :ref:`array instance <syntax-arrayinst>` :math:`S.\SARRAYS[a_2]` exists.
11771177

1178-
24. If :math:`d + n` is larger than or equal to the length of :math:`S.\SARRAYS[a_1].\AIFIELDS`, then:
1178+
24. If :math:`d + n` is larger than the length of :math:`S.\SARRAYS[a_1].\AIFIELDS`, then:
11791179

11801180
a. Trap.
11811181

1182-
25. If :math:`s + n` is larger than or equal to the length of :math:`S.\SARRAYS[a_2].\AIFIELDS`, then:
1182+
25. If :math:`s + n` is larger than the length of :math:`S.\SARRAYS[a_2].\AIFIELDS`, then:
11831183

11841184
a. Trap.
11851185

0 commit comments

Comments
 (0)