Verifier now checks it branch target ebbs are inserted in the layout

2017-08-08 13:43:20 -07:00
parent ffae39377c
commit 8546cabc8f
1 changed files with 1 additions and 1 deletions
--- 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(())