pub fn validate_instruction_jumps(code: &[Instruction])Expand description
Planning-time invariant: every jump is patched and lands on a real instruction. Panics on violation — compiled output failing this check is a compiler bug.
pub fn validate_instruction_jumps(code: &[Instruction])Planning-time invariant: every jump is patched and lands on a real instruction. Panics on violation — compiled output failing this check is a compiler bug.