janestreet/magic-trace

`setjmp`/`longjmp` support

Opened this issue · 0 comments

Xyene commented

We cannot support arbitrary _setjmp/longjmp, but if we see a longjmp we can probably avoid totally breaking the trace by resetting the stack, and ignoring future rets underflowing our call stack (because we wouldn't know how many stack frames should have gotten popped).

They appear as Call "_setjmp" and Call "longjmp" tokens in the stream.