T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Assert that sealed blocks cannot accept new predecessors.

Browse Source
This commit is contained in:
Dan Gohman
2017-11-01 11:27:54 -07:00
parent 1663f141c8
commit 39c0fbb6c7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/frontend/src/ssa.rs
View File

@@ -90,6 +90,7 @@ impl<Variable> BlockData<Variable> {
match *self { match *self {
BlockData::EbbBody { .. } => panic!("you can't add a predecessor to a body block"), BlockData::EbbBody { .. } => panic!("you can't add a predecessor to a body block"),
BlockData::EbbHeader(ref mut data) => { BlockData::EbbHeader(ref mut data) => {
debug_assert!(!data.sealed, "sealed blocks cannot accept new predecessors");
data.predecessors.push((pred, inst)); data.predecessors.push((pred, inst));
} }
} }