| 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.
|
|
|