v0.144.4: pass -Wno-clobbered to silence gcc, drop volatile

The v0.144.2 volatile annotations on env and rest miscompile
the nested-try-rethrow path on Linux gcc: the outer catch
sees the inner exception instead of the rethrown one. Apple
clang's codegen for the same source is correct without
volatile, so the v0.144.0-era source is fine. Reverts the
volatile additions and instead passes -Wno-clobbered to the
compiler, gated through -Wno-unknown-warning-option so Apple
clang silently ignores the flag it doesn't recognise.

The mino_current_ctx simplification from v0.144.3 (drop the
unused local t) stays -- it is a style cleanup independent of
the warning suppression.

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

Author: leifericf

CHANGELOG.md

@@ -1,5 +1,20 @@
 # Changelog
 
+## v0.144.4 — Build Fix: Suppress gcc's `-Wclobbered` Instead Of `volatile`
+
+The v0.144.2 attempt to silence gcc's `-Wclobbered` by marking
+`mino_bc_run`'s `env` parameter and `rest` local `volatile`
+turned out to miscompile the nested-try-rethrow path on Linux
+gcc (the outer catch handler saw the inner exception instead
+of the rethrown one). Apple clang's codegen for the same source
+was correct without `volatile`. The simpler fix: pass
+`-Wno-clobbered` to the compiler (gated through
+`-Wno-unknown-warning-option` so clang silently ignores it). The
+volatile annotations are reverted; the codegen on both compilers
+now matches the v0.144.0-era source. The `mino_current_ctx`
+inline simplification from v0.144.3 (drop the unused local `t`)
+stays — it is a clean style cleanup independent of the warning.
+
 ## v0.144.3 — Build Fix: Drop Local In `mino_current_ctx`
 
 gcc's `-Werror=clobbered` flagged the local `t` in

Makefile

@@ -12,7 +12,14 @@
 # add it to the task runner instead.
 
 CC      ?= cc
-CFLAGS  ?= -std=c99 -Wall -Wpedantic -Wextra -Werror -Wno-missing-field-initializers -O2
+# -Wno-clobbered silences a gcc-specific false positive in the bytecode VM
+# (mino_bc_run holds locals across setjmp/longjmp pairs; the warning is a
+# heuristic that doesn't reflect whether the value is actually re-read on
+# the longjmp branch). Apple clang doesn't emit this warning at all and
+# doesn't recognise the flag name, so the -Wno-unknown-warning-option
+# pair lets us pass -Wno-clobbered to both compilers without breaking
+# either.
+CFLAGS  ?= -std=c99 -Wall -Wpedantic -Wextra -Werror -Wno-missing-field-initializers -Wno-unknown-warning-option -Wno-clobbered -O2
 INCDIRS  = -Isrc -Isrc/public -Isrc/runtime -Isrc/gc -Isrc/eval \
            -Isrc/collections -Isrc/prim -Isrc/async -Isrc/interop \
            -Isrc/diag -Isrc/vendor/imath

src/eval/bc/vm.c

@@ -238,8 +238,7 @@ 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 *volatile env)
+                        mino_val_t **argv, int argc, mino_env_t *env)
 {
     const mino_bc_fn_t *bc = fn_val->as.fn.bc;
     if (bc == NULL || bc->code == NULL) return NULL;
@@ -273,7 +272,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 *volatile rest = mino_nil(S);
+        mino_val_t *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; }

src/mino.h

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