Update ABIDecoderTests.cpp

Author: gap-editor

test/libsolidity/ABIDecoderTests.cpp

@@ -426,6 +426,24 @@ BOOST_AUTO_TEST_CASE(complex_struct)
 	)
 }
 
+BOOST_AUTO_TEST_CASE(invalid_tuple_offset)
+{
+	std::string sourceCode = R"(
+		contract C {
+			function f((uint a, uint b) calldata x) external pure returns (uint) {
+				return x.a + x.b;
+			}
+		}
+	)";
+	BOTH_ENCODERS(
+		compileAndRun(sourceCode);
+		// Creating an invalid call with tuple offset pointing outside the calldata
+		bytes calldata = encodeArgs(0x20, 0xffff) + bytes(62, 0); // 0xffff is an invalid offset
+		// This should revert because the tuple offset is invalid
+		ABI_CHECK(callContractFunctionNoEncoding("f((uint256,uint256))", calldata), encodeArgs());
+	)
+}
+
 BOOST_AUTO_TEST_SUITE_END()
 
 } // end namespaces