Function frame_sizes

tests/integration/kernel_modules.rs:185–206

Parse ` :` / `; Allocate stack frame: N bytes` pairs out of asm text.

(asm: &str)

                current.take(),
                rest.trim()
                    .strip_suffix(" bytes")
                    .and_then(|s| s.parse().ok()),
            ) {
                out.push((name, size));
            }
        }
    }
    out
}

// Compile every kernel function and assert no frame exceeds the safe ceiling.
#[test]
fn kernel_frames_stay_within_immediate_range() {
    let mut p = CompilationPipeline::new();
    p.set_target_mode(TargetMode::Kernel);
    p.set_write_artifacts(false);
    p.set_string_prefix(Some("__kern_str_".to_owned()));

    p.set_type_prelude(get_stdlib_type_prelude());
    let mut sources: Vec<(&str, String)> = get_stdlib_modules_for_mode(TargetMode::Kernel)
        .iter()
        .map(|(n, s)| (*n, (*s).to_owned()))
        .collect();
    sources.push(("my_kernel", kernel::MY_KERNEL.to_owned()));