From 5cd01ab7d1efc108c3dc711ca76b4f75be4ac5c6 Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Mon, 20 Feb 2017 12:32:31 +0100
Subject: Test for unbalanced stack due to loading two values from outside.

---
 test/libsolidity/SolidityNameAndTypeResolution.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'test/libsolidity')

diff --git a/test/libsolidity/SolidityNameAndTypeResolution.cpp b/test/libsolidity/SolidityNameAndTypeResolution.cpp
index 507d9057..a1ebc300 100644
--- a/test/libsolidity/SolidityNameAndTypeResolution.cpp
+++ b/test/libsolidity/SolidityNameAndTypeResolution.cpp
@@ -4852,6 +4852,19 @@ BOOST_AUTO_TEST_CASE(inline_assembly_unbalanced_negative_stack)
 	CHECK_WARNING(text, "Inline assembly block is not balanced");
 }
 
+BOOST_AUTO_TEST_CASE(inline_assembly_unbalanced_two_stack_load)
+{
+	char const* text = R"(
+		contract c {
+			uint8 x;
+			function f() {
+				assembly { x pop }
+			}
+		}
+	)";
+	CHECK_WARNING(text, "Inline assembly block is not balanced");
+}
+
 BOOST_AUTO_TEST_CASE(inline_assembly_in_modifier)
 {
 	char const* text = R"(
-- 
cgit