#include <setjmp.h>
#include <stdint.h>
Go to the source code of this file.
|
| int64_t | mim_jmpbuf_size (void) |
| | Size in bytes of a jmp_buf, used by clos.alloc_jmpbuf to reserve stack space.
|
◆ mim_jmpbuf_size()
| int64_t mim_jmpbuf_size |
( |
void | | ) |
|
Size in bytes of a jmp_buf, used by clos.alloc_jmpbuf to reserve stack space.
The size is platform- and libc-dependent, so we let the C compiler compute it rather than hard-coding it in the backend.
Definition at line 18 of file mim_rt.c.