From d3077acf1c03dfc38279655278edf32ac7107315 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Thu, 19 Oct 2017 13:36:59 -0700
Subject: [PATCH] TranslationState can assert that its stacks are empty between
 functions.

---
 lib/wasm/src/state.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/wasm/src/state.rs b/lib/wasm/src/state.rs
index 4117d3509c..91737a370c 100644
--- a/lib/wasm/src/state.rs
+++ b/lib/wasm/src/state.rs
@@ -140,10 +140,10 @@ impl TranslationState {
     }
 
     fn clear(&mut self) {
-        self.stack.clear();
-        self.control_stack.clear();
-        self.phantom_unreachable_stack_depth = 0;
-        self.real_unreachable_stack_depth = 0;
+        debug_assert!(self.stack.is_empty());
+        debug_assert!(self.control_stack.is_empty());
+        debug_assert_eq!(self.phantom_unreachable_stack_depth, 0);
+        debug_assert_eq!(self.real_unreachable_stack_depth, 0);
         self.globals.clear();
         self.heaps.clear();
         self.signatures.clear();