aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/analysis
diff options
context:
space:
mode:
authorAlex Beregszaszi <alex@rtfs.hu>2016-10-08 06:59:30 +0800
committerAlex Beregszaszi <alex@rtfs.hu>2016-10-20 03:44:15 +0800
commit9616470f67675d7cd4a2a3df001302d87417b03f (patch)
treef4a244abc946400f0f6feaaafae43e4514387169 /libsolidity/analysis
parent3bcf0909afca0019841a343ee19ea7dbeef9d667 (diff)
downloaddexon-solidity-9616470f67675d7cd4a2a3df001302d87417b03f.tar.gz
dexon-solidity-9616470f67675d7cd4a2a3df001302d87417b03f.tar.zst
dexon-solidity-9616470f67675d7cd4a2a3df001302d87417b03f.zip
Disallow magic variables in inline assembly
Diffstat (limited to 'libsolidity/analysis')
-rw-r--r--libsolidity/analysis/TypeChecker.cpp4
1 files changed, 4 insertions, 0 deletions
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())