Exit immediately on second ctrl-c

nickg · Apr 7, 2023 · dd6c14d · dd6c14d
1 parent 870909f
commit dd6c14d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/jit/jit-core.c b/src/jit/jit-core.c
@@ -1475,7 +1475,8 @@ int32_t *jit_get_cover_ptr(jit_t *j, jit_value_t addr)
 void jit_interrupt(jit_t *j, jit_irq_fn_t fn, void *ctx)
 {
    relaxed_store(&j->interrupt_ctx, ctx);
-   store_release(&j->interrupt, fn);
+   if (!atomic_cas(&j->interrupt, NULL, fn))
+      fatal_exit(1);
 }
 
 __attribute__((cold, noinline))