From 459b7661aaa0d65d01be064bd4b9976c4f045a5c Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 18:22:04 +0330 Subject: bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code) --- src/core/core.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/core') diff --git a/src/core/core.c b/src/core/core.c index e3895ae..e7b1ef6 100644 --- a/src/core/core.c +++ b/src/core/core.c @@ -7159,6 +7159,10 @@ int main(int argc, char **argv) "compiles source from stdin and runs main; input after a backtick is program input.\n" "program arguments are available through std.argv; stdin has the name .\n", stdout); +#endif +#ifndef USE_LSP_GENOME + fputs(" zy --explain-checks [file] < source.zc compiles without running and lists\n" + " the bounds checks it kept as json lines (file names them; default ).\n", stdout); #endif fputs("options:\n --help, -h show this help and exit\n" "environment:\n" @@ -7167,7 +7171,7 @@ int main(int argc, char **argv) " ZYTRACE trace native translation and optimization\n", stdout); return 0; } - if (argc > 1 && argv[1][0] == '-' && argv[1][1] == '-') { + if (argc > 1 && argv[1][0] == '-' && argv[1][1] == '-' && strcmp(argv[1], "--explain-checks")) { #ifdef USE_LSP_GENOME if (strcmp(argv[1], "--format") && strcmp(argv[1], "--annotate") && strcmp(argv[1], "--types")) { #endif -- cgit v1.2.3