Promote warnings to errors in array_push()

Author: Girgias

ext/standard/array.c

@@ -3151,7 +3151,7 @@ static void php_splice(HashTable *in_hash, zend_long offset, zend_long length, H
 }
 /* }}} */
 
-/* {{{ proto int|false array_push(array stack, mixed var [, mixed ...])
+/* {{{ proto int array_push(array stack, mixed var [, mixed ...])
    Pushes elements onto the end of the array */
 PHP_FUNCTION(array_push)
 {
@@ -3173,8 +3173,8 @@ PHP_FUNCTION(array_push)
 
 		if (zend_hash_next_index_insert(Z_ARRVAL_P(stack), &new_var) == NULL) {
 			Z_TRY_DELREF(new_var);
-			php_error_docref(NULL, E_WARNING, "Cannot add element to the array as the next element is already occupied");
-			RETURN_FALSE;
+			zend_throw_error(NULL, "Cannot add element to the array as the next element is already occupied");
+			return;
 		}
 	}
 

ext/standard/basic_functions.stub.php

@@ -57,8 +57,7 @@ function stream_wrapper_restore(string $protocol): bool {}
 
 /* array.c */
 
-/** @return int|false */
-function array_push(array &$stack, ...$args) {}
+function array_push(array &$stack, ...$args): int {}
 
 function krsort(array &$arg, int $sort_flags = SORT_REGULAR): bool {}
 

ext/standard/basic_functions_arginfo.h

@@ -65,7 +65,7 @@ ZEND_END_ARG_INFO()
 
 #define arginfo_stream_wrapper_restore arginfo_stream_wrapper_unregister
 
-ZEND_BEGIN_ARG_INFO_EX(arginfo_array_push, 0, 0, 1)
+ZEND_BEGIN_ARG_WITH_RETURN_TYPE_INFO_EX(arginfo_array_push, 0, 1, IS_LONG, 0)
 	ZEND_ARG_TYPE_INFO(1, stack, IS_ARRAY, 0)
 	ZEND_ARG_VARIADIC_INFO(0, args)
 ZEND_END_ARG_INFO()

ext/standard/tests/array/array_push_error2.phpt

@@ -15,17 +15,18 @@ Test array_push() function : error conditions - max int value as key
 echo "*** Testing array_push() : error conditions ***\n";
 
 $array = array(PHP_INT_MAX => 'max');
-
-var_dump(array_push($array, 'new'));
+try {
+    var_dump(array_push($array, 'new'));
+} catch (\Error $e) {
+    echo $e->getMessage() . "\n";
+}
 var_dump($array);
 
 echo "Done";
 ?>
 --EXPECTF--
 *** Testing array_push() : error conditions ***
-
-Warning: array_push(): Cannot add element to the array as the next element is already occupied in %s on line %d
-bool(false)
+Cannot add element to the array as the next element is already occupied
 array(1) {
   [%d]=>
   string(3) "max"