mirror of
https://github.com/DeusData/codebase-memory-mcp.git
synced 2026-11-12 09:47:20 +08:00
A reproduction fails its assertion and returns before cleanup, so LeakSanitizer flagged benign harness leaks on every red store-level test and _exit()'d, swallowing the unflushed summary — repro.sh then misread it as a build failure (Linux only; macOS/Windows have no LSan). Fixes: - repro.sh: export ASAN_OPTIONS=detect_leaks=0 for the board run. Leak-cleanliness is not the board's signal (the RED rows are); the #581 leak bug gets a dedicated RSS-growth test. ASan's real checks (use-after-free, overflow) stay enabled. - repro_main.c: setvbuf(stdout, _IONBF) so the summary + RED rows survive any abnormal _exit (sanitizer or crash). - add tests/repro/repro_harness.h: shared multi-file index + store-query + fork crash-detector helpers (ported from the proven test_lang_contract.c harness) for the cross-file / store-level / crash reproduction waves. Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>