fix bug in visit_else label pinning

Robbepop · Robbepop · commit c84a1fbf017c · 2025-10-04T12:55:00.000+02:00
diff --git a/crates/wasmi/src/engine/translator/func/visit.rs b/crates/wasmi/src/engine/translator/func/visit.rs
@@ -191,8 +191,8 @@ impl<'a> VisitOperator<'a> for FuncTranslator {
                 self.encode_br(frame.label())?;
             }
             // Start of `else` block:
-            self.labels.pin_label(else_label, self.instrs.next_pos());
             self.instrs.try_encode_staged();
+            self.labels.pin_label(else_label, self.instrs.next_pos());
         }
         let consume_fuel_instr = self.instrs.encode_consume_fuel()?;
         self.reachable = frame.is_else_reachable();

Original file line number	Diff line number	Diff line change
`@@ -191,8 +191,8 @@ impl<'a> VisitOperator<'a> for FuncTranslator {`
`191`	`191`	`self.encode_br(frame.label())?;`
`192`	`192`	`}`
`193`	`193`	// Start of `else` block:
`194`		`- self.labels.pin_label(else_label, self.instrs.next_pos());`
`195`	`194`	`self.instrs.try_encode_staged();`
	`195`	`+ self.labels.pin_label(else_label, self.instrs.next_pos());`
`196`	`196`	`}`
`197`	`197`	`let consume_fuel_instr = self.instrs.encode_consume_fuel()?;`
`198`	`198`	`self.reachable = frame.is_else_reachable();`