Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 789812b50debf8de0f89fb0c1152524294491d57..1000db78972dbde96c1fd3feb90869bd38afde1d 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -536,6 +536,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. |