mirror of
				https://github.com/ethereum/solidity
				synced 2023-10-03 13:03:40 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			622 lines
		
	
	
		
			14 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			622 lines
		
	
	
		
			14 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| /*
 | |
|     This file is part of solidity.
 | |
| 
 | |
|     solidity is free software: you can redistribute it and/or modify
 | |
|     it under the terms of the GNU General Public License as published by
 | |
|     the Free Software Foundation, either version 3 of the License, or
 | |
|     (at your option) any later version.
 | |
| 
 | |
|     solidity is distributed in the hope that it will be useful,
 | |
|     but WITHOUT ANY WARRANTY; without even the implied warranty of
 | |
|     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 | |
|     GNU General Public License for more details.
 | |
| 
 | |
|     You should have received a copy of the GNU General Public License
 | |
|     along with solidity.  If not, see <http://www.gnu.org/licenses/>.
 | |
| */
 | |
| /**
 | |
|  * @author Christian <c@ethdev.com>
 | |
|  * @date 2014
 | |
|  * Unit tests for the solidity parser.
 | |
|  */
 | |
| 
 | |
| #include <string>
 | |
| #include <memory>
 | |
| #include <libsolidity/parsing/Scanner.h>
 | |
| #include <libsolidity/parsing/Parser.h>
 | |
| #include <libsolidity/interface/ErrorReporter.h>
 | |
| #include <test/Options.h>
 | |
| #include <test/libsolidity/ErrorCheck.h>
 | |
| 
 | |
| using namespace std;
 | |
| 
 | |
| namespace dev
 | |
| {
 | |
| namespace solidity
 | |
| {
 | |
| namespace test
 | |
| {
 | |
| 
 | |
| namespace
 | |
| {
 | |
| ASTPointer<ContractDefinition> parseText(std::string const& _source, ErrorList& _errors)
 | |
| {
 | |
| 	ErrorReporter errorReporter(_errors);
 | |
| 	ASTPointer<SourceUnit> sourceUnit = Parser(errorReporter).parse(std::make_shared<Scanner>(CharStream(_source)));
 | |
| 	if (!sourceUnit)
 | |
| 		return ASTPointer<ContractDefinition>();
 | |
| 	for (ASTPointer<ASTNode> const& node: sourceUnit->nodes())
 | |
| 		if (ASTPointer<ContractDefinition> contract = dynamic_pointer_cast<ContractDefinition>(node))
 | |
| 			return contract;
 | |
| 	BOOST_FAIL("No contract found in source.");
 | |
| 	return ASTPointer<ContractDefinition>();
 | |
| }
 | |
| 
 | |
| bool successParse(std::string const& _source)
 | |
| {
 | |
| 	ErrorList errors;
 | |
| 	try
 | |
| 	{
 | |
| 		auto sourceUnit = parseText(_source, errors);
 | |
| 		if (!sourceUnit)
 | |
| 			return false;
 | |
| 	}
 | |
| 	catch (FatalError const& /*_exception*/)
 | |
| 	{
 | |
| 		if (Error::containsErrorOfType(errors, Error::Type::ParserError))
 | |
| 			return false;
 | |
| 	}
 | |
| 	if (Error::containsErrorOfType(errors, Error::Type::ParserError))
 | |
| 		return false;
 | |
| 
 | |
| 	BOOST_CHECK(Error::containsOnlyWarnings(errors));
 | |
| 	return true;
 | |
| }
 | |
| 
 | |
| Error getError(std::string const& _source)
 | |
| {
 | |
| 	ErrorList errors;
 | |
| 	try
 | |
| 	{
 | |
| 		parseText(_source, errors);
 | |
| 	}
 | |
| 	catch (FatalError const& /*_exception*/)
 | |
| 	{
 | |
| 		// no-op
 | |
| 	}
 | |
| 	Error const* error = Error::containsErrorOfType(errors, Error::Type::ParserError);
 | |
| 	BOOST_REQUIRE(error);
 | |
| 	return *error;
 | |
| }
 | |
| 
 | |
| void checkFunctionNatspec(
 | |
| 	FunctionDefinition const* _function,
 | |
| 	std::string const& _expectedDoc
 | |
| )
 | |
| {
 | |
| 	auto doc = _function->documentation();
 | |
| 	BOOST_CHECK_MESSAGE(doc != nullptr, "Function does not have Natspec Doc as expected");
 | |
| 	BOOST_CHECK_EQUAL(*doc, _expectedDoc);
 | |
| }
 | |
| 
 | |
| }
 | |
| 
 | |
| #define CHECK_PARSE_ERROR(source, substring) \
 | |
| do \
 | |
| {\
 | |
| 	Error err = getError((source)); \
 | |
| 	BOOST_CHECK(searchErrorMessage(err, (substring))); \
 | |
| }\
 | |
| while(0)
 | |
| 
 | |
| 
 | |
| BOOST_AUTO_TEST_SUITE(SolidityParser)
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(function_natspec_documentation)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			uint256 stateVar;
 | |
| 			/// This is a test function
 | |
| 			function functionName(bytes32 input) returns (bytes32 out) {}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| 	ErrorList errors;
 | |
| 	ASTPointer<ContractDefinition> contract = parseText(text, errors);
 | |
| 	FunctionDefinition const* function = nullptr;
 | |
| 	auto functions = contract->definedFunctions();
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(0), "Failed to retrieve function");
 | |
| 	checkFunctionNatspec(function, "This is a test function");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(function_normal_comments)
 | |
| {
 | |
| 	FunctionDefinition const* function = nullptr;
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			uint256 stateVar;
 | |
| 			// We won't see this comment
 | |
| 			function functionName(bytes32 input) returns (bytes32 out) {}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| 	ErrorList errors;
 | |
| 	ASTPointer<ContractDefinition> contract = parseText(text, errors);
 | |
| 	auto functions = contract->definedFunctions();
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(0), "Failed to retrieve function");
 | |
| 	BOOST_CHECK_MESSAGE(function->documentation() == nullptr,
 | |
| 						"Should not have gotten a Natspecc comment for this function");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(multiple_functions_natspec_documentation)
 | |
| {
 | |
| 	FunctionDefinition const* function = nullptr;
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			uint256 stateVar;
 | |
| 			/// This is test function 1
 | |
| 			function functionName1(bytes32 input) returns (bytes32 out) {}
 | |
| 			/// This is test function 2
 | |
| 			function functionName2(bytes32 input) returns (bytes32 out) {}
 | |
| 			// nothing to see here
 | |
| 			function functionName3(bytes32 input) returns (bytes32 out) {}
 | |
| 			/// This is test function 4
 | |
| 			function functionName4(bytes32 input) returns (bytes32 out) {}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| 	ErrorList errors;
 | |
| 	ASTPointer<ContractDefinition> contract = parseText(text, errors);
 | |
| 	auto functions = contract->definedFunctions();
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(0), "Failed to retrieve function");
 | |
| 	checkFunctionNatspec(function, "This is test function 1");
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(1), "Failed to retrieve function");
 | |
| 	checkFunctionNatspec(function, "This is test function 2");
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(2), "Failed to retrieve function");
 | |
| 	BOOST_CHECK_MESSAGE(function->documentation() == nullptr,
 | |
| 						"Should not have gotten natspec comment for functionName3()");
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(3), "Failed to retrieve function");
 | |
| 	checkFunctionNatspec(function, "This is test function 4");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(multiline_function_documentation)
 | |
| {
 | |
| 	FunctionDefinition const* function = nullptr;
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			uint256 stateVar;
 | |
| 			/// This is a test function
 | |
| 			/// and it has 2 lines
 | |
| 			function functionName1(bytes32 input) returns (bytes32 out) {}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| 	ErrorList errors;
 | |
| 	ASTPointer<ContractDefinition> contract = parseText(text, errors);
 | |
| 	auto functions = contract->definedFunctions();
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(0), "Failed to retrieve function");
 | |
| 	checkFunctionNatspec(function, "This is a test function\n"
 | |
| 						 " and it has 2 lines");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(natspec_comment_in_function_body)
 | |
| {
 | |
| 	FunctionDefinition const* function = nullptr;
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			/// fun1 description
 | |
| 			function fun1(uint256 a) {
 | |
| 				var b;
 | |
| 				/// I should not interfere with actual natspec comments
 | |
| 				uint256 c;
 | |
| 				mapping(address=>bytes32) d;
 | |
| 				bytes7 name = "Solidity";
 | |
| 			}
 | |
| 			/// This is a test function
 | |
| 			/// and it has 2 lines
 | |
| 			function fun(bytes32 input) returns (bytes32 out) {}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| 	ErrorList errors;
 | |
| 	ASTPointer<ContractDefinition> contract = parseText(text, errors);
 | |
| 	auto functions = contract->definedFunctions();
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(0), "Failed to retrieve function");
 | |
| 	checkFunctionNatspec(function, "fun1 description");
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(1), "Failed to retrieve function");
 | |
| 	checkFunctionNatspec(function, "This is a test function\n"
 | |
| 						 " and it has 2 lines");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(natspec_docstring_between_keyword_and_signature)
 | |
| {
 | |
| 	FunctionDefinition const* function = nullptr;
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			uint256 stateVar;
 | |
| 			function ///I am in the wrong place
 | |
| 			fun1(uint256 a) {
 | |
| 				var b;
 | |
| 				/// I should not interfere with actual natspec comments
 | |
| 				uint256 c;
 | |
| 				mapping(address=>bytes32) d;
 | |
| 				bytes7 name = "Solidity";
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| 	ErrorList errors;
 | |
| 	ASTPointer<ContractDefinition> contract = parseText(text, errors);
 | |
| 	auto functions = contract->definedFunctions();
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(0), "Failed to retrieve function");
 | |
| 	BOOST_CHECK_MESSAGE(!function->documentation(),
 | |
| 						"Shouldn't get natspec docstring for this function");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(natspec_docstring_after_signature)
 | |
| {
 | |
| 	FunctionDefinition const* function = nullptr;
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			uint256 stateVar;
 | |
| 			function fun1(uint256 a) {
 | |
| 				/// I should have been above the function signature
 | |
| 				var b;
 | |
| 				/// I should not interfere with actual natspec comments
 | |
| 				uint256 c;
 | |
| 				mapping(address=>bytes32) d;
 | |
| 				bytes7 name = "Solidity";
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| 	ErrorList errors;
 | |
| 	ASTPointer<ContractDefinition> contract = parseText(text, errors);
 | |
| 	auto functions = contract->definedFunctions();
 | |
| 
 | |
| 	BOOST_REQUIRE_MESSAGE(function = functions.at(0), "Failed to retrieve function");
 | |
| 	BOOST_CHECK_MESSAGE(!function->documentation(),
 | |
| 						"Shouldn't get natspec docstring for this function");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(variable_definition)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			function fun(uint256 a) {
 | |
| 				var b;
 | |
| 				uint256 c;
 | |
| 				mapping(address=>bytes32) d;
 | |
| 				customtype varname;
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(variable_definition_with_initialization)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			function fun(uint256 a) {
 | |
| 				var b = 2;
 | |
| 				uint256 c = 0x87;
 | |
| 				mapping(address=>bytes32) d;
 | |
| 				bytes7 name = "Solidity";
 | |
| 				customtype varname;
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(operator_expression)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			function fun(uint256 a) {
 | |
| 				uint256 x = (1 + 4) || false && (1 - 12) + -9;
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(complex_expression)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			function fun(uint256 a) {
 | |
| 				uint256 x = (1 + 4).member(++67)[a/=9] || true;
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(statement_starting_with_type_conversion)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 				uint64[7](3);
 | |
| 				uint64[](3);
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(type_conversion_to_dynamic_array)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			function fun() {
 | |
| 				var x = uint64[](3);
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(import_directive)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		import "abc";
 | |
| 		contract test {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(multiple_contracts)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract test {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 		contract test2 {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(multiple_contracts_and_imports)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		import "abc";
 | |
| 		contract test {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 		import "def";
 | |
| 		contract test2 {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 		import "ghi";
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(contract_inheritance)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract base {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 		contract derived is base {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(contract_multiple_inheritance)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract base {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 		contract derived is base, nonExisting {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(contract_multiple_inheritance_with_arguments)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract base {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 		contract derived is base(2), nonExisting("abc", "def", base.fun()) {
 | |
| 			function fun() {
 | |
| 				uint64(2);
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(multiple_visibility_specifiers)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract c {
 | |
| 			uint private internal a;
 | |
| 		}
 | |
| 	)";
 | |
| 	CHECK_PARSE_ERROR(text, "Visibility already specified as \"private\".");
 | |
| 	text = R"(
 | |
| 		contract c {
 | |
| 			function f() private external {}
 | |
| 		}
 | |
| 	)";
 | |
| 	CHECK_PARSE_ERROR(text, "Visibility already specified as \"private\".");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(keyword_is_reserved)
 | |
| {
 | |
| 	auto keywords = {
 | |
| 		"abstract",
 | |
| 		"after",
 | |
| 		"alias",
 | |
| 		"apply",
 | |
| 		"auto",
 | |
| 		"case",
 | |
| 		"catch",
 | |
| 		"copyof",
 | |
| 		"default",
 | |
| 		"define",
 | |
| 		"final",
 | |
| 		"immutable",
 | |
| 		"implements",
 | |
| 		"in",
 | |
| 		"inline",
 | |
| 		"let",
 | |
| 		"macro",
 | |
| 		"match",
 | |
| 		"mutable",
 | |
| 		"null",
 | |
| 		"of",
 | |
| 		"override",
 | |
| 		"partial",
 | |
| 		"promise",
 | |
| 		"reference",
 | |
| 		"relocatable",
 | |
| 		"sealed",
 | |
| 		"sizeof",
 | |
| 		"static",
 | |
| 		"supports",
 | |
| 		"switch",
 | |
| 		"try",
 | |
| 		"type",
 | |
| 		"typedef",
 | |
| 		"typeof",
 | |
| 		"unchecked"
 | |
| 	};
 | |
| 
 | |
| 	for (const auto& keyword: keywords)
 | |
| 	{
 | |
| 		auto text = std::string("contract ") + keyword + " {}";
 | |
| 		CHECK_PARSE_ERROR(text.c_str(), string("Expected identifier but got reserved keyword '") + keyword + "'");
 | |
| 	}
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(member_access_parser_ambiguity)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract C {
 | |
| 			struct S { uint a; uint b; uint[][][] c; }
 | |
| 			function f() {
 | |
| 				C.S x;
 | |
| 				C.S memory y;
 | |
| 				C.S[10] memory z;
 | |
| 				C.S[10](x);
 | |
| 				x.a = 2;
 | |
| 				x.c[1][2][3] = 9;
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(using_for)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		contract C {
 | |
| 			struct s { uint a; }
 | |
| 			using LibraryName for uint;
 | |
| 			using Library2 for *;
 | |
| 			using Lib for s;
 | |
| 			function f() {
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(complex_import)
 | |
| {
 | |
| 	char const* text = R"(
 | |
| 		import "abc" as x;
 | |
| 		import * as x from "abc";
 | |
| 		import {a as b, c as d, f} from "def";
 | |
| 		contract x {}
 | |
| 	)";
 | |
| 	BOOST_CHECK(successParse(text));
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(recursion_depth1)
 | |
| {
 | |
| 	string text("contract C { bytes");
 | |
| 	for (size_t i = 0; i < 30000; i++)
 | |
| 		text += "[";
 | |
| 	CHECK_PARSE_ERROR(text.c_str(), "Maximum recursion depth reached during parsing");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(recursion_depth2)
 | |
| {
 | |
| 	string text("contract C { function f() {");
 | |
| 	for (size_t i = 0; i < 30000; i++)
 | |
| 		text += "{";
 | |
| 	CHECK_PARSE_ERROR(text, "Maximum recursion depth reached during parsing");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(recursion_depth3)
 | |
| {
 | |
| 	string text("contract C { function f() { uint x = f(");
 | |
| 	for (size_t i = 0; i < 30000; i++)
 | |
| 		text += "(";
 | |
| 	CHECK_PARSE_ERROR(text, "Maximum recursion depth reached during parsing");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(recursion_depth4)
 | |
| {
 | |
| 	string text("contract C { function f() { uint a;");
 | |
| 	for (size_t i = 0; i < 30000; i++)
 | |
| 		text += "(";
 | |
| 	text += "a";
 | |
| 	for (size_t i = 0; i < 30000; i++)
 | |
| 		text += "++)";
 | |
| 	text += "}}";
 | |
| 	CHECK_PARSE_ERROR(text, "Maximum recursion depth reached during parsing");
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_SUITE_END()
 | |
| 
 | |
| }
 | |
| }
 | |
| } // end namespaces
 |