|
|
@@ -8906,7 +8906,6 @@ re_scan:
|
|
|
{
|
|
|
p_org = p - 1;
|
|
|
GET_LOCAL_INDEX_TYPE_AND_OFFSET();
|
|
|
- POP_TYPE(local_type);
|
|
|
|
|
|
#if WASM_ENABLE_FAST_INTERP != 0
|
|
|
if (!(preserve_referenced_local(
|
|
|
@@ -8963,6 +8962,7 @@ re_scan:
|
|
|
}
|
|
|
#endif
|
|
|
#endif /* end of WASM_ENABLE_FAST_INTERP != 0 */
|
|
|
+ POP_TYPE(local_type);
|
|
|
break;
|
|
|
}
|
|
|
|