Skip to content

[wasm-interp] incorrect semantics in table.grow #2734

@sbaesdg

Description

@sbaesdg

Build

Build wasm-interp in debug mode

Command

./wasm-interp --enable-memory64 poc.wasm --run-all-exports

Observed result

test_grow_truncation() => i64:10 and get_table_size() => i64:15

Expected behavior

Should fail because the requested delta would exceed the table maximum

Environment

  • wabt 1.0.39
  • OS: Linux x86_64 Ubuntu

poc.wasm.zip

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions