From 8546cabc8fa9c900695e870547b6c565e4557c8c Mon Sep 17 00:00:00 2001
From: Denis Merigoux <denis.merigoux@gmail.com>
Date: Tue, 8 Aug 2017 13:43:20 -0700
Subject: [PATCH] Verifier now checks it branch target ebbs are inserted in the
 layout

---
 lib/cretonne/src/verifier/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/cretonne/src/verifier/mod.rs b/lib/cretonne/src/verifier/mod.rs
index d3f05ef4c8..be95456212 100644
--- a/lib/cretonne/src/verifier/mod.rs
+++ b/lib/cretonne/src/verifier/mod.rs
@@ -297,7 +297,7 @@ impl<'a> Verifier<'a> {
     }
 
     fn verify_ebb(&self, inst: Inst, e: Ebb) -> Result {
-        if !self.func.dfg.ebb_is_valid(e) {
+        if !self.func.dfg.ebb_is_valid(e) || !self.func.layout.is_ebb_inserted(e) {
             err!(inst, "invalid ebb reference {}", e)
         } else {
             Ok(())