From a0b42105e49456faf89dd0d86cfba2a6219c514e Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leo@ethereum.org>
Date: Wed, 2 May 2018 15:52:23 +0200
Subject: Testing state vars that are declared after functions that use them

---
 test/libsolidity/SMTChecker.cpp | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp
index 5f54db6d..71fdb906 100644
--- a/test/libsolidity/SMTChecker.cpp
+++ b/test/libsolidity/SMTChecker.cpp
@@ -506,9 +506,6 @@ BOOST_AUTO_TEST_CASE(storage_value_vars)
 	text = R"(
 		contract C
 		{
-			address a;
-			bool b;
-			uint c;
 			function f(uint x) public {
 				if (x == 0)
 				{
@@ -527,7 +524,9 @@ BOOST_AUTO_TEST_CASE(storage_value_vars)
 				require(a < 100);
 				assert(c >= 0);
 			}
-
+			address a;
+			bool b;
+			uint c;
 		}
 	)";
 	CHECK_SUCCESS_NO_WARNINGS(text);
-- 
cgit