From 39c0fbb6c70138852a5eac9499590b31460977ca Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Wed, 1 Nov 2017 11:27:54 -0700
Subject: [PATCH] Assert that sealed blocks cannot accept new predecessors.

---
 lib/frontend/src/ssa.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/frontend/src/ssa.rs b/lib/frontend/src/ssa.rs
index 65d1873fca..c8f80205e9 100644
--- a/lib/frontend/src/ssa.rs
+++ b/lib/frontend/src/ssa.rs
@@ -90,6 +90,7 @@ impl<Variable> BlockData<Variable> {
         match *self {
             BlockData::EbbBody { .. } => panic!("you can't add a predecessor to a body block"),
             BlockData::EbbHeader(ref mut data) => {
+                debug_assert!(!data.sealed, "sealed blocks cannot accept new predecessors");
                 data.predecessors.push((pred, inst));
             }
         }