Don't try generating a backtrace on stack overflow

lib/vm/src/trap/traphandlers.rs

@@ -715,16 +715,28 @@ impl<T> TrapHandlerContextInner<T> {
             return false;
         }
 
-        // Set up the register state for exception return to force the
-        // coroutine to return to its caller with UnwindReason::WasmTrap.
-        let backtrace = Backtrace::new_unresolved();
         let signal_trap = maybe_fault_address.map(|addr| {
             if self.coro_trap_handler.stack_ptr_in_bounds(addr) {
                 TrapCode::StackOverflow
             } else {
                 TrapCode::HeapAccessOutOfBounds
             }
         });
+
+        // Don't try to generate a backtrace for stack overflows: unwinding
+        // information is often not precise enough to properly describe what is
+        // happenning during a function prologue, which can lead the unwinder to
+        // read invalid memory addresses.
+        //
+        // See: https://github.com/rust-lang/backtrace-rs/pull/357
+        let backtrace = if signal_trap == Some(TrapCode::StackOverflow) {
+            Backtrace::from(vec![])
+        } else {
+            Backtrace::new_unresolved()
+        };
+
+        // Set up the register state for exception return to force the
+        // coroutine to return to its caller with UnwindReason::WasmTrap.
         let unwind = UnwindReason::WasmTrap {
             backtrace,
             signal_trap,

tests/ignores.txt

@@ -36,16 +36,10 @@ aarch64    traps::start_trap_pretty
 singlepass multi_value_imports::dylib # Singlepass doesn't support multivalue
 singlepass multi_value_imports::dynamic # Singlepass doesn't support multivalue
 
-# TODO: We need to fix this in ARM. The issue is caused by libunwind overflowing
-# the stack while creating the stacktrace.
-# https://github.com/rust-lang/backtrace-rs/issues/356
 # Also neither LLVM nor Cranelift currently implement stack probing on AArch64.
 # https://github.com/wasmerio/wasmer/issues/2808
 cranelift+aarch64 spec::skip_stack_guard_page
 llvm+aarch64      spec::skip_stack_guard_page
-# TODO: Needs more investigation
-cranelift+macos spec::skip_stack_guard_page
-llvm+macos spec::skip_stack_guard_page
 
 # Some SIMD opperations are not yet supported by Cranelift
 # Cranelift just added support for most of those recently, it might be easy to update