From 1b61d5cd1eaad11a932dcc48ad3a452e7dace29e Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Thu, 26 Oct 2017 20:55:45 -0700
Subject: [PATCH] Enable the verifier by default in "cton-util compile".

---
 cranelift/src/compile.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/cranelift/src/compile.rs b/cranelift/src/compile.rs
index f9f718685d..6b0bda21bd 100644
--- a/cranelift/src/compile.rs
+++ b/cranelift/src/compile.rs
@@ -12,9 +12,13 @@ use utils::{pretty_error, read_to_string, parse_sets_and_isa};
 pub fn run(
     files: Vec<String>,
     flag_print: bool,
-    flag_set: Vec<String>,
+    mut flag_set: Vec<String>,
     flag_isa: String,
 ) -> Result<(), String> {
+    // Enable the verifier by default, since we're reading IL in from a
+    // text file.
+    flag_set.insert(0, "enable_verifier=1".to_string());
+
     let parsed = parse_sets_and_isa(flag_set, flag_isa)?;
 
     for filename in files {