This is a bit of a future-facing concern since memory64 doesn't currently work with components (but that may change in the near-ish future). Much of the rest of FACT is designed to support memory64 eventually, however, and I figured it'd be good to log this as an issue.
Specifically the count of items left to process is an i32 while later pointer-sized operations are used to manipulate it. This'll want to get fixed.
When fixing this it'd be good to be sure this is caught by the fact-valid-module.rs fuzzer and/or ensure it's up-to-date. Support for fixed-length-lists probably wants to be added there too.
This is a bit of a future-facing concern since memory64 doesn't currently work with components (but that may change in the near-ish future). Much of the rest of FACT is designed to support memory64 eventually, however, and I figured it'd be good to log this as an issue.
Specifically the count of items left to process is an i32 while later pointer-sized operations are used to manipulate it. This'll want to get fixed.
When fixing this it'd be good to be sure this is caught by the fact-valid-module.rs fuzzer and/or ensure it's up-to-date. Support for fixed-length-lists probably wants to be added there too.