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

Improve the assertion failure message for sealing a block twice.

Browse Source
This commit is contained in:
Dan Gohman
2018-09-12 16:58:36 -07:00
parent f2177deec1
commit f6519c87a4
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -442,14 +442,18 @@ impl SSABuilder {
fn seal_one_ebb_header_block(&mut self, ebb: Ebb, func: &mut Function) { fn seal_one_ebb_header_block(&mut self, ebb: Ebb, func: &mut Function) {
let block = self.header_block(ebb); let block = self.header_block(ebb);
let (undef_vars, ebb): (Vec<(Variable, Value)>, Ebb) = match self.blocks[block] { let undef_vars = match self.blocks[block] {
BlockData::EbbBody { .. } => panic!("this should not happen"), BlockData::EbbBody { .. } => panic!("this should not happen"),
BlockData::EbbHeader(ref mut data) => { BlockData::EbbHeader(ref mut data) => {
debug_assert!(!data.sealed); debug_assert!(
!data.sealed,
"Attempting to seal {} which is already sealed.",
ebb
);
debug_assert_eq!(ebb, data.ebb);
// Extract the undef_variables data from the block so that we // Extract the undef_variables data from the block so that we
// can iterate over it without borrowing the whole builder. // can iterate over it without borrowing the whole builder.
let undef_variables = mem::replace(&mut data.undef_variables, Vec::new()); mem::replace(&mut data.undef_variables, Vec::new())
(undef_variables, data.ebb)
} }
}; };