aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/interface/CompilerStack.cpp
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2016-12-11 23:46:06 +0800
committerGitHub <noreply@github.com>2016-12-11 23:46:06 +0800
commitd2b8bdd0163ba097e86bbce8d9770256bcda7a3b (patch)
tree823b740b0917f32640d5c3a79a1e75c631089464 /libsolidity/interface/CompilerStack.cpp
parent4508f713247359b8f9cba4867c7c77c64a001807 (diff)
parent05139500fb44c1ff574756b3a5d10d46674c236d (diff)
downloaddexon-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.cpp10
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;
}