From 9616470f67675d7cd4a2a3df001302d87417b03f Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Fri, 7 Oct 2016 23:59:30 +0100
Subject: Disallow magic variables in inline assembly

---
 libsolidity/analysis/TypeChecker.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'libsolidity/analysis')

diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp
index ae7c13c8..b9b182c0 100644
--- a/libsolidity/analysis/TypeChecker.cpp
+++ b/libsolidity/analysis/TypeChecker.cpp
@@ -592,6 +592,10 @@ bool TypeChecker::visit(InlineAssembly const& _inlineAssembly)
 			unsigned pushes = 0;
 			if (dynamic_cast<FunctionDefinition const*>(declaration))
 				pushes = 1;
+			else if (dynamic_cast<MagicVariableDeclaration const*>(declaration))
+			{
+				return false;
+			}
 			else if (auto var = dynamic_cast<VariableDeclaration const*>(declaration))
 			{
 				if (var->isConstant())
-- 
cgit