diff options
author | Alex Beregszaszi <alex@rtfs.hu> | 2017-05-25 07:27:48 +0800 |
---|---|---|
committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-05-27 03:39:10 +0800 |
commit | 3b75c5b45fdb1bfb49b4e157e031154c57b475f3 (patch) | |
tree | 674ec4c1e3bf9413f4e986819db76aeede77f5d2 /libsolidity/inlineasm/AsmAnalysis.cpp | |
parent | dda497ca027f5dcd47c6e2b8d624b327c4478adc (diff) | |
download | dexon-solidity-3b75c5b45fdb1bfb49b4e157e031154c57b475f3.tar dexon-solidity-3b75c5b45fdb1bfb49b4e157e031154c57b475f3.tar.gz dexon-solidity-3b75c5b45fdb1bfb49b4e157e031154c57b475f3.tar.bz2 dexon-solidity-3b75c5b45fdb1bfb49b4e157e031154c57b475f3.tar.lz dexon-solidity-3b75c5b45fdb1bfb49b4e157e031154c57b475f3.tar.xz dexon-solidity-3b75c5b45fdb1bfb49b4e157e031154c57b475f3.tar.zst dexon-solidity-3b75c5b45fdb1bfb49b4e157e031154c57b475f3.zip |
Validate that only basic types are used in Julia
Diffstat (limited to 'libsolidity/inlineasm/AsmAnalysis.cpp')
-rw-r--r-- | libsolidity/inlineasm/AsmAnalysis.cpp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/libsolidity/inlineasm/AsmAnalysis.cpp b/libsolidity/inlineasm/AsmAnalysis.cpp index 742d2c1a..ca50fdbe 100644 --- a/libsolidity/inlineasm/AsmAnalysis.cpp +++ b/libsolidity/inlineasm/AsmAnalysis.cpp @@ -62,6 +62,7 @@ bool AsmAnalyzer::operator()(assembly::Instruction const& _instruction) bool AsmAnalyzer::operator()(assembly::Literal const& _literal) { + expectValidType(_literal.type, _literal.location); ++m_stackHeight; if (_literal.kind == assembly::LiteralKind::String && _literal.value.size() > 32) { @@ -186,7 +187,10 @@ bool AsmAnalyzer::operator()(assembly::VariableDeclaration const& _varDecl) } for (auto const& variable: _varDecl.variables) + { + expectValidType(variable.type, variable.location); boost::get<Scope::Variable>(m_currentScope->identifiers.at(variable.name)).active = true; + } m_info.stackHeightInfo[&_varDecl] = m_stackHeight; return success; } @@ -195,7 +199,10 @@ bool AsmAnalyzer::operator()(assembly::FunctionDefinition const& _funDef) { Scope& bodyScope = scope(&_funDef.body); for (auto const& var: _funDef.arguments + _funDef.returns) + { + expectValidType(var.type, var.location); boost::get<Scope::Variable>(bodyScope.identifiers.at(var.name)).active = true; + } int const stackHeight = m_stackHeight; m_stackHeight = _funDef.arguments.size() + _funDef.returns.size(); @@ -444,3 +451,16 @@ Scope& AsmAnalyzer::scope(Block const* _block) solAssert(scopePtr, "Scope requested but not present."); return *scopePtr; } + +void AsmAnalyzer::expectValidType(string const& type, SourceLocation const& _location) +{ +// if (!m_julia) +// return; + + if (!(set<string>{"bool", "u8", "s8", "u32", "s32", "u64", "s64", "u128", "s128", "u256", "s256"}).count(type)) + m_errors.push_back(make_shared<Error>( + Error::Type::TypeError, + "User defined types (\"" + type + "\") are not supported yet.", + _location + )); +} |