pub fn validate_structure(program: &Program) -> Vec<ValidationError>Expand description
Validate a program’s arch-independent structural rules: new_array operand
bounds, initial_fill ordering, and terminator/reachability. These never
consult an arch spec, so they always run.