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

TranslationState can assert that its stacks are empty between functions.

Browse Source
This commit is contained in:
Dan Gohman
2017-10-19 13:36:59 -07:00
parent 8e9ac361bd
commit d3077acf1c
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
lib/wasm/src/state.rs
View File

@@ -140,10 +140,10 @@ impl TranslationState {
} }
fn clear(&mut self) { fn clear(&mut self) {
self.stack.clear(); debug_assert!(self.stack.is_empty());
self.control_stack.clear(); debug_assert!(self.control_stack.is_empty());
self.phantom_unreachable_stack_depth = 0; debug_assert_eq!(self.phantom_unreachable_stack_depth, 0);
self.real_unreachable_stack_depth = 0; debug_assert_eq!(self.real_unreachable_stack_depth, 0);
self.globals.clear(); self.globals.clear();
self.heaps.clear(); self.heaps.clear();
self.signatures.clear(); self.signatures.clear();