Added compile-time check for default passed beyond parameter limit.

Author: Bilge

Zend/tests/default_expression/required_parameter_of_internal_class.phpt

@@ -7,4 +7,5 @@ DateTime::createFromInterface(default);
 ?>
 --EXPECTF--
 Fatal error: Uncaught ValueError: Cannot pass default to required parameter 1 of DateTime::createFromInterface() in %s:%d
-Stack trace:%a
+Stack trace:
+%a

Zend/tests/default_expression/required_parameter_of_internal_function.phpt

@@ -7,4 +7,5 @@ json_encode(default);
 ?>
 --EXPECTF--
 Fatal error: Uncaught ValueError: Cannot pass default to required parameter 1 of json_encode() in %s:%d
-Stack trace:%a
+Stack trace:
+%a

Zend/tests/default_expression/too_many_params.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Tests passing default beyond the maximum parameters specified by the function
+--FILE--
+<?php
+
+function F() {}
+F(default);
+?>
+--EXPECTF--
+Fatal error: Uncaught ValueError: Cannot pass default to undeclared parameter 1 of F() in %s:%d
+Stack trace:
+%a

Zend/zend_vm_def.h

@@ -9821,11 +9821,11 @@ ZEND_VM_HANDLER(210, ZEND_FETCH_DEFAULT_ARG, UNUSED|NUM, UNUSED)
 	reflection_parameter_reference param;
 	param.offset = opline->op1.num - 1;
 	param.required = param.offset < called_func->common.required_num_args;
-	param.arg_info = &called_func->common.arg_info[param.offset];
 	param.fptr = called_func;
 
-	if (param.required) {
-		zend_value_error("Cannot pass default to required parameter %u of %s%s%s()",
+	if (UNEXPECTED(param.required || param.offset >= called_func->common.num_args)) {
+		zend_value_error("Cannot pass default to %s parameter %u of %s%s%s()",
+			param.required ? "required" : "undeclared",
 			opline->op1.num,
 			called_func->common.scope ? ZSTR_VAL(called_func->common.scope->name) : "",
 			called_func->common.scope ? "::" : "",
@@ -9834,6 +9834,8 @@ ZEND_VM_HANDLER(210, ZEND_FETCH_DEFAULT_ARG, UNUSED|NUM, UNUSED)
 		HANDLE_EXCEPTION();
 	}
 
+	param.arg_info = &called_func->common.arg_info[param.offset];
+
 	zval default_value;
 	reflection_get_parameter_default(&default_value, &param);