diff options
-rw-r--r-- | src/tools/execution-results.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/execution-results.h b/src/tools/execution-results.h index 569052086..17101e0ab 100644 --- a/src/tools/execution-results.h +++ b/src/tools/execution-results.h @@ -132,6 +132,8 @@ struct ExecutionResults { } } catch (const TrapException&) { // may throw in instance creation (init of offsets) + } catch (const HostLimitException&) { + // may throw in instance creation (e.g. array.new of huge size) } } @@ -221,6 +223,9 @@ struct ExecutionResults { } catch (const TrapException&) { // may throw in instance creation (init of offsets) return {}; + } catch (const HostLimitException&) { + // may throw in instance creation (e.g. array.new of huge size) + return {}; } } |