abrown opened PR #7788 from abrown:pku-cli
to bytecodealliance:main
:
This only adds MPK configuration to the new Wasmtime flags.
@alexcrichton, I don't expect the current CI run to pass: when I run this locally, I think the following command should fail with
"memory protection keys require the pooling allocator"
but it does not:$ WASMTIME_NEW_CLI=1 cargo run -- run -O memory-protection-keys=y --invoke echo_f32 tests/all/cli_tests/simple.wat 1.1
abrown edited a comment on PR #7788:
@alexcrichton, I don't expect the current CI run to pass: when I run this locally, I think the following command should fail with
"memory protection keys require the pooling allocator"
but it does not:$ WASMTIME_NEW_CLI=1 cargo run -- run -O memory-protection-keys=y --invoke echo_f32 tests/all/cli_tests/simple.wat 1.1
I'm not really sure what's going wrong but clearly something isn't right.
alexcrichton submitted PR review:
Oh I think that's because the block of code here is only hit when
-O pooling-allocator
is passed, otherwise it's skipped entirely. Thebail!
may need to move outside thematch_feature!
block
abrown updated PR #7788.
abrown has marked PR #7788 as ready for review.
abrown requested wasmtime-core-reviewers for a review on PR #7788.
abrown requested alexcrichton for a review on PR #7788.
alexcrichton submitted PR review.
abrown updated PR #7788.
abrown has enabled auto merge for PR #7788.
alexcrichton merged PR #7788.
Last updated: Nov 22 2024 at 17:03 UTC