diff options
author | chriseth <chris@ethereum.org> | 2016-12-11 23:46:06 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-11 23:46:06 +0800 |
commit | d2b8bdd0163ba097e86bbce8d9770256bcda7a3b (patch) | |
tree | 823b740b0917f32640d5c3a79a1e75c631089464 /libsolidity/interface/CompilerStack.cpp | |
parent | 4508f713247359b8f9cba4867c7c77c64a001807 (diff) | |
parent | 05139500fb44c1ff574756b3a5d10d46674c236d (diff) | |
download | dexon-solidity-d2b8bdd0163ba097e86bbce8d9770256bcda7a3b.tar dexon-solidity-d2b8bdd0163ba097e86bbce8d9770256bcda7a3b.tar.gz dexon-solidity-d2b8bdd0163ba097e86bbce8d9770256bcda7a3b.tar.bz2 dexon-solidity-d2b8bdd0163ba097e86bbce8d9770256bcda7a3b.tar.lz dexon-solidity-d2b8bdd0163ba097e86bbce8d9770256bcda7a3b.tar.xz dexon-solidity-d2b8bdd0163ba097e86bbce8d9770256bcda7a3b.tar.zst dexon-solidity-d2b8bdd0163ba097e86bbce8d9770256bcda7a3b.zip |
Merge pull request #1464 from federicobond/warn-msgvalue
Warn about using msg.value in non-payable function
Diffstat (limited to 'libsolidity/interface/CompilerStack.cpp')
-rw-r--r-- | libsolidity/interface/CompilerStack.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/libsolidity/interface/CompilerStack.cpp b/libsolidity/interface/CompilerStack.cpp index b4fd6d87..eb588fc2 100644 --- a/libsolidity/interface/CompilerStack.cpp +++ b/libsolidity/interface/CompilerStack.cpp @@ -32,6 +32,7 @@ #include <libsolidity/analysis/NameAndTypeResolver.h> #include <libsolidity/analysis/TypeChecker.h> #include <libsolidity/analysis/DocStringAnalyser.h> +#include <libsolidity/analysis/StaticAnalyzer.h> #include <libsolidity/analysis/SyntaxChecker.h> #include <libsolidity/codegen/Compiler.h> #include <libsolidity/interface/InterfaceHandler.h> @@ -202,6 +203,15 @@ bool CompilerStack::parse() m_contracts[contract->name()].contract = contract; } + + if (noErrors) + { + StaticAnalyzer staticAnalyzer(m_errors); + for (Source const* source: m_sourceOrder) + if (!staticAnalyzer.analyze(*source->ast)) + noErrors = false; + } + m_parseSuccessful = noErrors; return m_parseSuccessful; } |