aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorLianaHus <liana@ethdev.com>2015-09-30 00:22:02 +0800
committerLianaHus <liana@ethdev.com>2015-10-02 18:38:48 +0800
commitfe2b9a3b3c73b77069a0d6d36578f60e1f8d4203 (patch)
treecd45a044bd7c408df1ca954fb0d77530f1a8a81f /test
parent6712437e6b65871787c9860168515b38a7751afc (diff)
downloaddexon-solidity-fe2b9a3b3c73b77069a0d6d36578f60e1f8d4203.tar.gz
dexon-solidity-fe2b9a3b3c73b77069a0d6d36578f60e1f8d4203.tar.zst
dexon-solidity-fe2b9a3b3c73b77069a0d6d36578f60e1f8d4203.zip
added warning for noninitialized references in storage.
Diffstat (limited to 'test')
-rw-r--r--test/libsolidity/SolidityNameAndTypeResolution.cpp32
1 files changed, 23 insertions, 9 deletions
diff --git a/test/libsolidity/SolidityNameAndTypeResolution.cpp b/test/libsolidity/SolidityNameAndTypeResolution.cpp
index fd908955..ad7b59ce 100644
--- a/test/libsolidity/SolidityNameAndTypeResolution.cpp
+++ b/test/libsolidity/SolidityNameAndTypeResolution.cpp
@@ -45,7 +45,7 @@ namespace
{
pair<ASTPointer<SourceUnit>, shared_ptr<Exception const>>
-parseAnalyseAndReturnError(string const& _source)
+parseAnalyseAndReturnError(string const& _source, bool _warning = false)
{
Parser parser;
ASTPointer<SourceUnit> sourceUnit;
@@ -74,7 +74,19 @@ parseAnalyseAndReturnError(string const& _source)
TypeChecker typeChecker;
if (!typeChecker.checkTypeRequirements(*contract))
{
- err = typeChecker.errors().front();
+ for (auto const& firstError: typeChecker.errors())
+ {
+ if (!dynamic_pointer_cast<Warning const>(firstError))
+ {
+ err = firstError;
+ break;
+ }
+ else if (_warning)
+ {
+ err = firstError;
+ break;
+ }
+ }
break;
}
}
@@ -101,9 +113,9 @@ ASTPointer<SourceUnit> parseAndAnalyse(string const& _source)
return sourceAndError.first;
}
-shared_ptr<Exception const> parseAndAnalyseReturnError(std::string const& _source)
+shared_ptr<Exception const> parseAndAnalyseReturnError(std::string const& _source, bool _warning = false)
{
- auto sourceAndError = parseAnalyseAndReturnError(_source);
+ auto sourceAndError = parseAnalyseAndReturnError(_source, _warning);
BOOST_REQUIRE(!!sourceAndError.second);
return sourceAndError.second;
}
@@ -119,8 +131,10 @@ static ContractDefinition const* retrieveContract(ASTPointer<SourceUnit> _source
return nullptr;
}
-static FunctionTypePointer const& retrieveFunctionBySignature(ContractDefinition const* _contract,
- std::string const& _signature)
+static FunctionTypePointer const& retrieveFunctionBySignature(
+ ContractDefinition const* _contract,
+ std::string const& _signature
+)
{
FixedHash<4> hash(dev::sha3(_signature));
return _contract->interfaceFunctions()[hash];
@@ -155,8 +169,8 @@ BOOST_AUTO_TEST_CASE(double_stateVariable_declaration)
BOOST_AUTO_TEST_CASE(double_function_declaration)
{
char const* text = "contract test {\n"
- " function fun() { var x; }\n"
- " function fun() { var x; }\n"
+ " function fun() { uint x; }\n"
+ " function fun() { uint x; }\n"
"}\n";
SOLIDITY_CHECK_ERROR_TYPE(parseAndAnalyseReturnError(text), DeclarationError);
}
@@ -2333,7 +2347,7 @@ BOOST_AUTO_TEST_CASE(non_initialized_references)
}
}
)";
- SOLIDITY_CHECK_ERROR_TYPE(parseAndAnalyseReturnError(text), TypeError);
+ SOLIDITY_CHECK_ERROR_TYPE(parseAndAnalyseReturnError(text, true), Warning);
}
BOOST_AUTO_TEST_SUITE_END()