code wiki / (root) / nx_boolean_evaluation_probe_t365.nx

nx_boolean_evaluation_probe_t365.nx

buildroot/runtime/nx_boolean_evaluation_probe_t365.nx

488 B4 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind probe
docsdependenciesstructsconstsfunctions

dependencies 1 imports · 0 importers

nx_gate_verdict.nx nx_boolean_evaluation_probe_t3

imports: nx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ sfp_rhs gv_check gv_puts ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_puts ↻ gv_num ↻ gv_journal sys_openat_append sys_mmap ↻ gv_catn

structs

none

consts

none

functions

3func sfp_rhs()->i64{SFP_CALLS=SFP_CALLS+1;return 1}
called by 1: main
4func main(argc:i64,argv:*i64)->i64{let g:*i64=gv_ctr();gv_head("Native boolean evaluation observation" as *u8);if (0==1)&&(sfp_rhs()==1){SFP_CALLS=SFP_CALLS+100};gv_check("false left operand still evaluates right function" as *u8,(SFP_CALLS==1) as i64,g);return gv_verdict("boolean_evaluation_observation" as *u8,g,"observed compiler behavior only; no language safety repair" as *u8)}
calls 5: gv_ctrgv_headsfp_rhsgv_checkgv_verdict