nx_probe_linecont.nx
buildroot/runtime/nx_probe_linecont.nx
about
nx_probe_linecont.nx -- LN15 INSTRUMENT (not a fixture): does a continuation line
opening with a binary operator JOIN the previous statement, or become a dead statement?
This is the det2x2 bug class that forced the runtime-wide sweep on 2026-07-09.
run-exit 0 => continuation JOINS (the language is correct)
run-exit 1 => `- b` became a DEAD STATEMENT and d kept the value of `a` (the defect)
run-exit 2 => neither: d is some third value, report it rather than guess
dependencies 1 imports · 0 importers
imports: nx_syscalls.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 11 | func main(argc: i64, argv: **u8) -> i64 |