We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2ae6e25 commit 9119575Copy full SHA for 9119575
src/wasm/wasm-validator.cpp
@@ -3465,8 +3465,9 @@ void FunctionValidator::visitFunction(Function* curr) {
3465
void FunctionValidator::validateOffset(Address offset,
3466
Memory* mem,
3467
Expression* curr) {
3468
- shouldBeTrue(
3469
- mem->is64() || offset < (1ull << 32), curr, "offset must be u32");
+ shouldBeTrue(mem->is64() || offset <= std::numeric_limits<uint32_t>::max(),
+ curr,
3470
+ "offset must be u32");
3471
}
3472
3473
void FunctionValidator::validateAlignment(
0 commit comments