Merge pull request #123 from chriseth/largeHexConstants

Check invalid integer constants for functions accepting arbitrary arguments.
This commit is contained in:
chriseth 2015-10-07 18:20:41 +02:00
commit b4f817d9d9
2 changed files with 23 additions and 6 deletions

View File

@ -824,10 +824,15 @@ bool TypeChecker::visit(FunctionCall const& _functionCall)
{
// call by positional arguments
for (size_t i = 0; i < arguments.size(); ++i)
if (
!functionType->takesArbitraryParameters() &&
!type(*arguments[i])->isImplicitlyConvertibleTo(*parameterTypes[i])
)
{
auto const& argType = type(*arguments[i]);
if (functionType->takesArbitraryParameters())
{
if (auto t = dynamic_cast<IntegerConstantType const*>(argType.get()))
if (!t->integerType())
typeError(*arguments[i], "Integer constant too large.");
}
else if (!type(*arguments[i])->isImplicitlyConvertibleTo(*parameterTypes[i]))
typeError(
*arguments[i],
"Invalid type for argument in function call. "
@ -837,6 +842,7 @@ bool TypeChecker::visit(FunctionCall const& _functionCall)
parameterTypes[i]->toString() +
" requested."
);
}
}
else
{

View File

@ -54,9 +54,9 @@ parseAnalyseAndReturnError(string const& _source, bool _reportWarnings = false)
try
{
sourceUnit = parser.parse(std::make_shared<Scanner>(CharStream(_source)));
NameAndTypeResolver resolver({});
resolver.registerDeclarations(*sourceUnit);
std::shared_ptr<GlobalContext> globalContext = make_shared<GlobalContext>();
NameAndTypeResolver resolver(globalContext->declarations());
resolver.registerDeclarations(*sourceUnit);
for (ASTPointer<ASTNode> const& node: sourceUnit->nodes())
if (ContractDefinition* contract = dynamic_cast<ContractDefinition*>(node.get()))
@ -2366,6 +2366,17 @@ BOOST_AUTO_TEST_CASE(non_initialized_references)
SOLIDITY_CHECK_ERROR_TYPE(parseAndAnalyseReturnError(text, true), Warning);
}
BOOST_AUTO_TEST_CASE(sha3_with_large_integer_constant)
{
char const* text = R"(
contract c
{
function f() { sha3(2**500); }
}
)";
SOLIDITY_CHECK_ERROR_TYPE(parseAndAnalyseReturnError(text), TypeError);
}
BOOST_AUTO_TEST_CASE(cyclic_binary_dependency)
{
char const* text = R"(