Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 687f9ba29ed5a45eaad9dffdfe4957adf8f1e44e..0e549cdd913844b76502f07224570a1ec97e1dc3 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -534,6 +534,8 @@ DEFINE_BOOL(wasm_guard_pages, false, |
"add guard pages to the end of WebWassembly memory" |
" (experimental, no effect on 32-bit)") |
DEFINE_IMPLICATION(wasm_trap_handler, wasm_guard_pages) |
+DEFINE_BOOL(wasm_trap_if, false, |
+ "enable the use of the trap_if operator for traps") |
DEFINE_BOOL(wasm_code_fuzzer_gen_test, false, |
"Generate a test case when running the wasm-code fuzzer") |
// Profiler flags. |