diff options
| author | Alon Zakai <azakai@google.com> | 2024-12-04 12:47:15 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-04 12:47:15 -0800 |
| commit | 47f9a78e5d423638a3dceeed2cb6449766f6f75e (patch) | |
| tree | 4b20ccb218ce2cc3de682ad9fde7b3201c4ac312 /test/lit/passes/gufa.wast | |
| parent | 87f9dac127b387715d8d96ac7ec8fd469d8c2dab (diff) | |
| download | binaryen-47f9a78e5d423638a3dceeed2cb6449766f6f75e.tar.gz binaryen-47f9a78e5d423638a3dceeed2cb6449766f6f75e.tar.bz2 binaryen-47f9a78e5d423638a3dceeed2cb6449766f6f75e.zip | |
Fix GUFA on calls to function refs in open world (#7135)
In open world we must assume that a funcref that escapes to the outside
might be called.
Diffstat (limited to 'test/lit/passes/gufa.wast')
| -rw-r--r-- | test/lit/passes/gufa.wast | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/lit/passes/gufa.wast b/test/lit/passes/gufa.wast index fcb60310a..721c27eeb 100644 --- a/test/lit/passes/gufa.wast +++ b/test/lit/passes/gufa.wast @@ -1,5 +1,8 @@ ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. -;; RUN: foreach %s %t wasm-opt -all --gufa -S -o - | filecheck %s +;; RUN: foreach %s %t wasm-opt -all --gufa --closed-world -S -o - | filecheck %s + +;; Closed-world is applied here to avoid treating all ref.funcs as callable +;; from outside (and this is the more important mode to test on). (module ;; CHECK: (type $0 (func (result i32))) |