From 26d3eaada5e8f386b4cfff64461792824c9ff596 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Fri, 13 Jan 2023 10:06:56 -0800 Subject: Move closed world flag to tool options (#5428) This allows tools like wasm-reduce to be told to operate in closed-world mode. That lets them validate in the more strict way of that mode. --- test/lit/help/wasm-emscripten-finalize.test | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'test/lit/help/wasm-emscripten-finalize.test') diff --git a/test/lit/help/wasm-emscripten-finalize.test b/test/lit/help/wasm-emscripten-finalize.test index 1600bb823..5bcf2c469 100644 --- a/test/lit/help/wasm-emscripten-finalize.test +++ b/test/lit/help/wasm-emscripten-finalize.test @@ -166,6 +166,13 @@ ;; CHECK-NEXT: parsed using the isorecursive hybrid type ;; CHECK-NEXT: system. ;; CHECK-NEXT: +;; CHECK-NEXT: --closed-world,-cw Assume code outside of the module does +;; CHECK-NEXT: not inspect or interact with GC and +;; CHECK-NEXT: function references, even if they are +;; CHECK-NEXT: passed out. The outside may hold on to +;; CHECK-NEXT: them and pass them back in, but not +;; CHECK-NEXT: inspect their contents or call them. +;; CHECK-NEXT: ;; CHECK-NEXT: ;; CHECK-NEXT: General options: ;; CHECK-NEXT: ---------------- -- cgit v1.2.3