v0.144.2: mark setjmp-adjacent locals volatile to satisfy gcc

gcc's -Werror=clobbered flagged three locals in mino_bc_run that
could be modified between setjmp and the matching longjmp return:
the env parameter, the rest cons-list local in the variadic
dispatch, and the t local inside the inlined mino_current_ctx.
Apple clang on macOS doesn't emit this warning so local builds
were green; the Linux CI build (gcc 12) failed at cc1: all
warnings being treated as errors.

Marks env and rest volatile in mino_bc_run and replaces the
post-setjmp mino_current_ctx(S) call with the captured ctx
local from before the try frame. Hot path is unchanged.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: leifericf

CHANGELOG.md

@@ -1,5 +1,24 @@
 # Changelog
 
+## v0.144.2 — Build Fix: Mark setjmp-Adjacent Locals `volatile`
+
+GCC's `-Werror=clobbered` flagged three locals in `mino_bc_run`
+that could be modified between `setjmp` and a matching `longjmp`
+return: the `env` parameter (rewritten on catch-frame unwind),
+the `rest` cons-list local in the variadic dispatch (built before
+setjmp and read after), and the `t` local inside the inlined
+`mino_current_ctx` (reached after setjmp via a TLS load + branch).
+Apple clang doesn't emit this warning so local builds were
+green; the Linux CI build (gcc 12) failed at `cc1: all warnings
+being treated as errors`.
+
+The fix marks `env` and `rest` `volatile` in `mino_bc_run` and
+replaces the second `mino_current_ctx(S)` call after `setjmp`
+with the already-captured `ctx` local that was set before the
+try frame. The hot path is unchanged: `ctx` reads the same TLS
+slot once at fn entry; the `volatile`-marked locals only matter
+to the compiler's analysis, not to the emitted code.
+
 ## v0.144.1 — GC Fix: Compiled Bytecode Children Traced Via Remset
 
 The compiled-bytecode record (`mino_bc_fn_t`) was allocated as

src/eval/bc/vm.c

@@ -238,7 +238,8 @@ static mino_val_t *resolve_global(mino_state_t *S, mino_val_t *sym,
 }
 
 mino_val_t *mino_bc_run(mino_state_t *S, mino_val_t *fn_val,
-                        mino_val_t **argv, int argc, mino_env_t *env)
+                        mino_val_t **argv, int argc,
+                        mino_env_t *volatile env)
 {
     const mino_bc_fn_t *bc = fn_val->as.fn.bc;
     if (bc == NULL || bc->code == NULL) return NULL;
@@ -272,7 +273,7 @@ mino_val_t *mino_bc_run(mino_state_t *S, mino_val_t *fn_val,
      * we get the values in their original order. When argc ==
      * n_params the rest binding is the empty list. */
     if (match->has_rest) {
-        mino_val_t *rest = mino_nil(S);
+        mino_val_t *volatile rest = mino_nil(S);
         for (int i = argc - 1; i >= match->n_params; i--) {
             rest = mino_cons(S, argv[i], rest);
             if (rest == NULL) { bc_pop_window(S, base); return NULL; }
@@ -382,7 +383,7 @@ mino_val_t *mino_bc_run(mino_state_t *S, mino_val_t *fn_val,
             unsigned bx = Bx_OF(ins);
             if ((int)bx >= bc->ic_slots_len) { ok = 0; goto bc_done; }
             mino_bc_ic_slot_t *slot = &bc->ic_slots[bx];
-            int dyn_active = (mino_current_ctx(S)->dyn_stack != NULL);
+            int dyn_active = (ctx->dyn_stack != NULL);
             if (!dyn_active
                 && slot->cached != NULL
                 && slot->gen == S->ic_gen) {

src/mino.h

@@ -28,7 +28,7 @@
  */
 #define MINO_VERSION_MAJOR 0
 #define MINO_VERSION_MINOR 144
-#define MINO_VERSION_PATCH 1
+#define MINO_VERSION_PATCH 2
 
 /*
  * Human-readable version string of the *linked* runtime, e.g. "0.48.0".