field-positive-r3-t280.nx
buildroot/runtime/field-positive-r3-t280.nx
dependencies 1 imports · 0 importers
imports: nx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| 2 | struct Inner{f:f64,i:i64} |
| 3 | struct Outer{inner:*Inner,p:*i64,fp:*f64} |
consts
| none |
functions
| 4 | func main(argc:i64,argv:*i64)->i64{let a:*Inner=sys_mmap_try(__size_of(Inner)) as *Inner;let b:*Outer=sys_mmap_try(__size_of(Outer)) as *Outer;let p:*i64=sys_mmap_try(8) as *i64;a.f=1.25;a.i=37;b.inner=a;b.p=p;b.fp=p as *f64;b.fp[0]=0.5;if b.fp[0]!=0.5{return 5};b.inner[0].f=2.0;b.inner.f=b.inner.f+1.75;b.p[0]=51;if a.f!=3.75{return 1};if a.i!=37{return 2};if b.inner!=a{return 3};if b.p[0]!=51{return 4};sys_munmap_direct(p as *u8,8);sys_munmap_direct(b as *u8,__size_of(Outer));sys_munmap_direct(a as *u8,__size_of(Inner));return 0} |