From eeb838155dbff2fb6731f1ae5550cbb9494532fe Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 28 Nov 2022 16:47:04 -0800 Subject: Add a placeholder closed-world flag (#5298) The flag does nothing so far. --- src/tools/optimization-options.h | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'src') diff --git a/src/tools/optimization-options.h b/src/tools/optimization-options.h index 8bca7639f..a1a21b596 100644 --- a/src/tools/optimization-options.h +++ b/src/tools/optimization-options.h @@ -241,6 +241,18 @@ struct OptimizationOptions : public ToolOptions { OptimizationOptionsCategory, Options::Arguments::Zero, [this](Options*, const std::string&) { passOptions.fastMath = true; }) + .add( + "--closed-world", + "-cw", + "Assume code outside of the module does not inspect or interact with " + "GC and function references, even if they are passed out. The outside " + "may hold on to them and pass them back in, but not inspect their " + "contents or call them.", + OptimizationOptionsCategory, + Options::Arguments::Zero, + [](Options*, const std::string&) { + // TODO: Implement this. + }) .add("--zero-filled-memory", "-uim", "Assume that an imported memory will be zero-initialized", -- cgit v1.2.3