[EmscriptenEH] Always use custom JS class for C/C++ exceptions

This has a slight codesize cost but it means we no longer have to worry
about the ambiguity in when we catch a Number.

Author: sbc100

src/lib/libcore.js

@@ -484,11 +484,7 @@ addToLibrary({
   // a proxy and declare the dependency here.
   _emscripten_throw_longjmp__deps: ['setThrew'],
   _emscripten_throw_longjmp: () => {
-#if EXCEPTION_STACK_TRACES
     throw new EmscriptenSjLj;
-#else
-    throw Infinity;
-#endif
   },
 #elif !SUPPORT_LONGJMP
 #if !INCLUDE_FULL_LIBRARY

src/lib/libdylink.js

@@ -93,16 +93,9 @@ var LibraryDylink = {
     } catch(e) {
       stackRestore(sp);
       // Create a try-catch guard that rethrows the Emscripten EH exception.
-#if EXCEPTION_STACK_TRACES
       // Exceptions thrown from C++ and longjmps will be an instance of
       // EmscriptenEH.
       if (!(e instanceof EmscriptenEH)) throw e;
-#else
-      // Exceptions thrown from C++ will be a pointer (number) and longjmp
-      // will throw the number Infinity. Use the compact and fast "e !== e+0"
-      // test to check if e was not a Number.
-      if (e !== e+0) throw e;
-#endif
       _setThrew(1, 0);
 #if WASM_BIGINT
       // In theory this if statement could be done on

src/lib/libemval.js

@@ -401,27 +401,10 @@ ${functionBody}
     object = Emval.toValue(object);
 #if !WASM_EXCEPTIONS
     // If we are throwing Emcripten C++ exception, set exceptionLast, as we do
-    // in __cxa_throw. When EXCEPTION_STACK_TRACES is set, a C++ exception will
-    // be an instance of EmscriptenEH, and when EXCEPTION_STACK_TRACES is not
-    // set, it will be a pointer (number).
-    //
-    // This is different from __cxa_throw() in libexception.js because
-    // __cxa_throw() is called from the user C++ code when the 'throw' keyword
-    // is used, and the value thrown is a C++ pointer. When
-    // EXCEPTION_STACK_TRACES is true, we wrap it with CppException. But this
-    // _emval_throw is called when we throw whatever is contained in 'object',
-    // which can be anything including a CppException object, or a number, or
-    // other JS object. So we don't use storeException() wrapper here and we
-    // throw it as is.
-#if EXCEPTION_STACK_TRACES
+    // in __cxa_throw. C++ exception will be an instance of CppEmscripten.
     if (object instanceof CppException) {
       exceptionLast = object;
     }
-#else
-    if (object === object+0) { // Check if it is a number
-      exceptionLast = object;
-    }
-#endif
 #endif
     throw object;
   },

src/lib/libexceptions.js

@@ -87,9 +87,9 @@ var LibraryExceptions = {
     '__cxa_increment_exception_refcount',
 #endif
 #if EXCEPTION_STACK_TRACES
-    // When EXCEPTION_STACK_TRACES is enabled, storeException contains a call to
-    // 'new CppException', whose constructor calls getExceptionMessage. We can't
-    // track the dependency there, so we track it here.
+    // When EXCEPTION_STACK_TRACES is enabled the 'new CppException' constructor
+    // calls getExceptionMessage. We can't track the dependency there, so we
+    // track it here.
     '$getExceptionMessage',
     // These functions can be necessary to prevent memory leaks from the JS
     // side. Even though they are not used it here directly, we export them when
@@ -106,8 +106,8 @@ var LibraryExceptions = {
     info.init(type, destructor);
 #if !DISABLE_EXCEPTION_CATCHING
     ___cxa_increment_exception_refcount(ptr);
+    exceptionLast = new CppException(ptr);
 #endif
-    {{{ storeException('exceptionLast', 'ptr') }}}
     uncaughtExceptionCount++;
     {{{ makeThrow('exceptionLast') }}}
   },
@@ -140,7 +140,9 @@ var LibraryExceptions = {
     dbg('__cxa_rethrow, popped ' +
       [ptrToString(ptr), exceptionLast, 'stack', exceptionCaught]);
 #endif
-    {{{ storeException('exceptionLast', 'ptr') }}}
+#if !DISABLE_EXCEPTION_CATCHING
+    exceptionLast = new CppException(ptr);
+#endif
     {{{ makeThrow('exceptionLast') }}}
   },
 
@@ -226,12 +228,7 @@ var LibraryExceptions = {
   // We'll do that here, instead, to keep things simpler.
   $findMatchingCatch__deps: ['$exceptionLast', '$ExceptionInfo', '__cxa_can_catch', '$setTempRet0'],
   $findMatchingCatch: (args) => {
-    var thrown =
-#if EXCEPTION_STACK_TRACES
-      exceptionLast?.excPtr;
-#else
-      exceptionLast;
-#endif
+    var thrown = exceptionLast?.excPtr;
     if (!thrown) {
       // just pass through the null ptr
       setTempRet0(0);
@@ -277,9 +274,11 @@ var LibraryExceptions = {
 #if EXCEPTION_DEBUG
     dbg("__resumeException " + [ptrToString(ptr), exceptionLast]);
 #endif
+#if !DISABLE_EXCEPTION_CATCHING
     if (!exceptionLast) {
-      {{{ storeException('exceptionLast', 'ptr') }}}
+      exceptionLast = new CppException(ptr);
     }
+#endif
     {{{ makeThrow('exceptionLast') }}}
   },
 

src/parseTools.mjs

@@ -661,11 +661,6 @@ function makeThrow(excPtr) {
   return `throw ${excPtr};`;
 }
 
-function storeException(varName, excPtr) {
-  var exceptionToStore = EXCEPTION_STACK_TRACES ? `new CppException(${excPtr})` : `${excPtr}`;
-  return `${varName} = ${exceptionToStore};`;
-}
-
 function charCode(char) {
   return char.charCodeAt(0);
 }
@@ -1255,7 +1250,6 @@ addToCompileTimeContext({
   runtimeKeepalivePop,
   runtimeKeepalivePush,
   splitI64,
-  storeException,
   to64,
   toIndexType,
   nodePthreadDetection,

src/preamble.js

@@ -360,11 +360,7 @@ function makeAbortWrapper(original) {
         ABORT // rethrow exception if abort() was called in the original function call above
         || abortWrapperDepth > 1 // rethrow exceptions not caught at the top level if exception catching is enabled; rethrow from exceptions from within callMain
 #if SUPPORT_LONGJMP == 'emscripten' // Rethrow longjmp if enabled
-#if EXCEPTION_STACK_TRACES
-        || e instanceof EmscriptenSjLj // EXCEPTION_STACK_TRACES=1 will throw an instance of EmscriptenSjLj
-#else
-        || e === Infinity // EXCEPTION_STACK_TRACES=0 will throw Infinity
-#endif // EXCEPTION_STACK_TRACES
+        || e instanceof EmscriptenSjLj
 #endif
         || e === 'unwind'
       ) {

src/runtime_exceptions.js

@@ -4,23 +4,35 @@
  * SPDX-License-Identifier: MIT
  */
 
-#if EXCEPTION_STACK_TRACES && !WASM_EXCEPTIONS
+#if !WASM_EXCEPTIONS
+
 // Base Emscripten EH error class
+#if EXCEPTION_STACK_TRACES
 class EmscriptenEH extends Error {}
+#else
+class EmscriptenEH {}
+#endif
 
 #if SUPPORT_LONGJMP == 'emscripten'
 class EmscriptenSjLj extends EmscriptenEH {}
 #endif
 
+#if !DISABLE_EXCEPTION_CATCHING
 class CppException extends EmscriptenEH {
   constructor(excPtr) {
+#if EXCEPTION_STACK_TRACES
     super(excPtr);
+#else
+    super();
+#endif
     this.excPtr = excPtr;
-#if !DISABLE_EXCEPTION_CATCHING
+#if !DISABLE_EXCEPTION_CATCHING && EXCEPTION_STACK_TRACES
     const excInfo = getExceptionMessage(excPtr);
     this.name = excInfo[0];
     this.message = excInfo[1];
 #endif
   }
 }
-#endif // EXCEPTION_STACK_TRACES && !WASM_EXCEPTIONS
+#endif
+
+#endif // !WASM_EXCEPTIONS

test/codesize/test_codesize_cxx_ctors1.json

@@ -1,10 +1,10 @@
 {
-  "a.out.js": 19214,
-  "a.out.js.gz": 7981,
+  "a.out.js": 19199,
+  "a.out.js.gz": 7975,
   "a.out.nodebug.wasm": 132638,
   "a.out.nodebug.wasm.gz": 49927,
-  "total": 151852,
-  "total_gz": 57908,
+  "total": 151837,
+  "total_gz": 57902,
   "sent": [
     "__cxa_throw",
     "_abort_js",

test/codesize/test_codesize_cxx_ctors2.json

@@ -1,10 +1,10 @@
 {
-  "a.out.js": 19191,
-  "a.out.js.gz": 7966,
+  "a.out.js": 19176,
+  "a.out.js.gz": 7961,
   "a.out.nodebug.wasm": 132064,
   "a.out.nodebug.wasm.gz": 49586,
-  "total": 151255,
-  "total_gz": 57552,
+  "total": 151240,
+  "total_gz": 57547,
   "sent": [
     "__cxa_throw",
     "_abort_js",

test/codesize/test_codesize_cxx_except.json

@@ -1,10 +1,10 @@
 {
-  "a.out.js": 22875,
-  "a.out.js.gz": 8956,
+  "a.out.js": 23189,
+  "a.out.js.gz": 8965,
   "a.out.nodebug.wasm": 172516,
   "a.out.nodebug.wasm.gz": 57438,
-  "total": 195391,
-  "total_gz": 66394,
+  "total": 195705,
+  "total_gz": 66403,
   "sent": [
     "__cxa_begin_catch",
     "__cxa_end_catch",