code wiki / _hdl_build / nx_cap_detect_ir_gate_t278.nx

nx_cap_detect_ir_gate_t278.nx

buildroot/runtime/_hdl_build/nx_cap_detect_ir_gate_t278.nx

3158 B66 linesdepth 5pulls 13 transitivereach 0 importersview sourcekind tooltopic cap
docsdependenciesstructsconstsfunctions

about

nx_cap_detect_ir_gate_t278.nx -- Analyzes IR code to detect memory access ranges and verifies safety properties against allocated memory.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_tokenizer.nx nx_parse.nx nx_cap_detect_ir_candidate_t278.nx nx_cap_detect_ir_gate_t278.nx

imports: nx_syscalls.nxnx_tokenizer.nxnx_parse.nxnx_cap_detect_ir_candidate_t278.nx

imported by: nobody (leaf or entry point)

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

main lex_source 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 ↻ lexm_expand lexm_prescan lexm_isid is_alnum is_alpha is_digit lexm_body_end lexm_define lexm_init sys_mmap ↻ lexm_warn_body_too_long lexm_diag_cell lexm_emit_str lexm_emit_dec sys_write ↻ lexm_name_at lexm_body_at sys_mmap ↻ lexm_isid ↻ lexm_body_end ↻ lexm_for_expand lexm_isid ↻ lexm_body_end ↻

structs

none

consts

none

functions

6func jc_test_puts(s:*u8)->i64{var n:i64=0;while s[n]!=(0 as u8){n=n+1};return sys_write(1,s,n)}
called by 1: main calls 1: sys_write
7func main()->i64
calls 11: lex_sourceblock_atjc_ir_namesys_mmapjc_ir_valuesjc_ir_store+5