diff options
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))) |