wabt icon indicating copy to clipboard operation
wabt copied to clipboard

Incorrect min limit of exported memory after grow

Open gumb0 opened this issue 4 years ago • 0 comments

See this spec test, it passes reference interpreter and it fails on WABT 1.0.21:

../imports.wast:574: error instantiating module: "actual size (1) smaller than declared (2)"
../imports.wast:579: unknown module in register
../imports.wast:580: unknown invoke "$Mgim1.grow"
../imports.wast:580: result length mismatch in assert_return: expected 1, got 0
../imports.wast:581: error instantiating module: "invalid import "grown-imported-memory.memory""
../imports.wast:586: unknown invoke "$Mgim2.size"
../imports.wast:586: result length mismatch in assert_return: expected 1, got 0

gumb0 avatar Mar 05 '21 10:03 gumb0

This appears to have been fixed in #1738

keithw avatar Sep 18 '22 05:09 keithw