nx_rw_stmtbound.nx source
↩ module page · 18 lines · 581 B
1// nx_rw_stmtbound.nx -- DELIBERATE TRAP WITNESS (pack-rules vet). Tactic under test: an expression
2// wrapped onto a continuation line (the documented tripping shape: `return a + b` newline `+ c`).
3// Exit 0 iff it compiles AND computes correctly. While ACTIVE this is EXPECTED TO FAIL THE LANE
4// (empty .s). Not a defect.
5// license_tier: ORIGINAL
6import "nx_syscalls.nx"
7
8func rw_add(a: i64, b: i64) -> i64 {
9 return a + b
10 + 5
11}
12
13func main(argc: i64, argv: *i64) -> i64 {
14 let s: i64 = rw_add(10, 20)
15 if s == 35 { sys_exit(0) }
16 sys_exit(1)
17 return 0
18}