From 0b241aadd2fb23af660769216bcea5f31f35ffbd Mon Sep 17 00:00:00 2001 From: Keith Winstein Date: Thu, 9 Jun 2022 12:12:37 -0700 Subject: [PATCH] exec/modules.rst: clarify module initialization trapping Module initialization can trap when executing the init instruction corresponding to an active segment. --- document/core/exec/modules.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/exec/modules.rst b/document/core/exec/modules.rst index 0e8c9d50a0..99eeb27565 100644 --- a/document/core/exec/modules.rst +++ b/document/core/exec/modules.rst @@ -596,7 +596,7 @@ Given a :ref:`store ` :math:`S`, a :ref:`module ` : Instantiation checks that the module is :ref:`valid ` and the provided imports :ref:`match ` the declared types, and may *fail* with an error otherwise. -Instantiation can also result in a :ref:`trap ` from executing the start function. +Instantiation can also result in a :ref:`trap ` from initializing a table or memory from an active segment or from executing the start function. It is up to the :ref:`embedder ` to define how such conditions are reported. 1. If :math:`\module` is not :ref:`valid `, then: