diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2016-10-08 06:59:30 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2016-10-20 03:44:15 +0800 |
| commit | 9616470f67675d7cd4a2a3df001302d87417b03f (patch) | |
| tree | f4a244abc946400f0f6feaaafae43e4514387169 /libsolidity/analysis | |
| parent | 3bcf0909afca0019841a343ee19ea7dbeef9d667 (diff) | |
| download | dexon-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.cpp | 4 |
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()) |