From b595bb032b8345056cea55f27633c484823ee2e9 Mon Sep 17 00:00:00 2001 From: gahaas Date: Wed, 14 Dec 2016 18:39:49 +0100 Subject: Define the exception type for stack overflows in JS.md --- Semantics.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Semantics.md') diff --git a/Semantics.md b/Semantics.md index 050dcf2..8203d14 100644 --- a/Semantics.md +++ b/Semantics.md @@ -42,9 +42,13 @@ environment such as a browser, a trap results in throwing a JavaScript exception If developer tools are active, attaching a debugger before the termination would be sensible. +## Stack Overflow + Call stack space is limited by unspecified and dynamically varying constraints and is a source of [nondeterminism](Nondeterminism.md). If program call stack usage -exceeds the available call stack space at any time, a trap occurs. +exceeds the available call stack space at any time, the execution in the +WebAssembly instance is terminated and abnormal termination is reported to the +outside environment. Implementations must have an internal maximum call stack size, and every call must take up some resources toward exhausting that size (of course, dynamic -- cgit v1.2.3