diff options
| author | Soni L. <EnderMoneyMod@gmail.com> | 2024-10-01 21:28:18 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-01 17:28:18 -0700 |
| commit | 7d229cf0965a41fe22338f08895231190573ca24 (patch) | |
| tree | ff977d2e139869f32bd904d4351c5985c7da28db /test/regress/wasm2c-ehv3-setjmp-volatile.txt | |
| parent | 84ea5d3e3caa92389cec39825cc79140312f6712 (diff) | |
| download | wabt-7d229cf0965a41fe22338f08895231190573ca24.tar.gz wabt-7d229cf0965a41fe22338f08895231190573ca24.tar.bz2 wabt-7d229cf0965a41fe22338f08895231190573ca24.zip | |
wasm2c: Fix handling of locals in setjmp targets (#2479)
It is UB to read local variables after a call to `setjmp` returns, if
those variables have been modified between `setjmp` and `longjmp`,
unless they're marked as `volatile`. This marks them as `volatile`.
Closes #2469
Diffstat (limited to 'test/regress/wasm2c-ehv3-setjmp-volatile.txt')
| -rw-r--r-- | test/regress/wasm2c-ehv3-setjmp-volatile.txt | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/regress/wasm2c-ehv3-setjmp-volatile.txt b/test/regress/wasm2c-ehv3-setjmp-volatile.txt new file mode 100644 index 00000000..8e663b97 --- /dev/null +++ b/test/regress/wasm2c-ehv3-setjmp-volatile.txt @@ -0,0 +1,25 @@ +;;; TOOL: run-spec-wasm2c +;;; ARGS*: --enable-exceptions +;;; NOTE: ref: issue-2469 +(module + (tag $e0) + (func $longjmp-bait (throw $e0)) + (func (export "setjmp-bait") (param $return-early i32) (result i32) + (local $value i32) + (try $try + (do + (br_if $try (local.get $return-early)) + (local.set $value (i32.const 1)) + (call $longjmp-bait) + ) + (catch $e0) + ) + (local.get $value) + ) +) + +(assert_return (invoke "setjmp-bait" (i32.const 1)) (i32.const 0)) +(assert_return (invoke "setjmp-bait" (i32.const 0)) (i32.const 1)) +(;; STDOUT ;;; +2/2 tests passed. +;;; STDOUT ;;) |