_offc_deref_store_probe.nx
buildroot/runtime/_offc_deref_store_probe.nx
about
Matrix probe for T#sovereign-deref-store-001.
Tests `*ptr = expr` across every binding source for `ptr`. Each
case writes a known sentinel and reads it back; main returns
(case_a_works | case_b_works<<1 | ...) so each bit indicates
whether nxc.elf produced a working store for that case.
Expected: 0xFF (all 8 cases return true) under a correct compiler.
Anything less means at least one *ptr = expr path is silently
dropping the store.
Sentinels: case k writes 100 + k.
dependencies 1 imports · 0 importers
imports: syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 18 | func returns_ptr() -> *i64 { |
| 23 | func returns_ptr_via_arg(buf: *i64) -> *i64 {
called by 1: case_h |
| 29 | func case_a(buf_in: *i64) -> i64 {
called by 1: main |
| 37 | func case_b() -> i64 { |
| 45 | func case_c() -> i64 {
called by 1: main |
| 54 | func case_d() -> i64 {
called by 1: main |
| 64 | func case_e() -> i64 { |
| 73 | func case_f() -> i64 { |
| 83 | func case_g() -> i64 { |
| 92 | func case_h() -> i64 { |
| 101 | func main() -> i64 { |