(
&self,
inst: Inst,
ss: StackSlot,
errors: &mut VerifierErrors,
)
| 811 | } |
| 812 | |
| 813 | fn verify_stack_slot( |
| 814 | &self, |
| 815 | inst: Inst, |
| 816 | ss: StackSlot, |
| 817 | errors: &mut VerifierErrors, |
| 818 | ) -> VerifierStepResult { |
| 819 | if !self.func.sized_stack_slots.is_valid(ss) { |
| 820 | errors.nonfatal((inst, self.context(inst), format!("invalid stack slot {ss}"))) |
| 821 | } else { |
| 822 | Ok(()) |
| 823 | } |
| 824 | } |
| 825 | |
| 826 | fn verify_dynamic_stack_slot( |
| 827 | &self, |
no test coverage detected