Throw ValueError for INF or NAN step

Author: Girgias

ext/standard/array.c

@@ -2685,6 +2685,16 @@ PHP_FUNCTION(range)
 	if (user_step) {
 		if (UNEXPECTED(Z_TYPE_P(user_step) == IS_DOUBLE)) {
 			step_double = Z_DVAL_P(user_step);
+
+			if (zend_isinf(step_double)) {
+				zend_argument_value_error(3, "must be a finite number, INF provided");
+				RETURN_THROWS();
+			}
+			if (zend_isnan(step_double)) {
+				zend_argument_value_error(3, "must be a finite number, NAN provided");
+				RETURN_THROWS();
+			}
+
 			/* We only want positive step values. */
 			if (step_double < 0.0) {
 				step_double *= -1;

ext/standard/tests/array/range/range_step_errors.phpt

@@ -25,6 +25,38 @@ try {
 } catch (\ValueError $e) {
     echo $e->getMessage(), "\n";
 }
+echo "Step cannot be INF\n";
+try {
+    var_dump( range(1.0, 7.0, 10.0**400) );
+} catch (\ValueError $e) {
+    echo $e->getMessage(), "\n";
+}
+try {
+    var_dump( range(1, 7, 10.0**400) );
+} catch (\ValueError $e) {
+    echo $e->getMessage(), "\n";
+}
+try {
+    var_dump( range('A', 'H', 10.0**400) );
+} catch (\ValueError $e) {
+    echo $e->getMessage(), "\n";
+}
+echo "Step cannot be NAN\n";
+try {
+    var_dump( range(1.0, 7.0, fdiv(0, 0)) );
+} catch (\ValueError $e) {
+    echo $e->getMessage(), "\n";
+}
+try {
+    var_dump( range(1, 7, fdiv(0, 0)) );
+} catch (\ValueError $e) {
+    echo $e->getMessage(), "\n";
+}
+try {
+    var_dump( range('A', 'H', fdiv(0, 0)) );
+} catch (\ValueError $e) {
+    echo $e->getMessage(), "\n";
+}
 
 echo "Step must be within the range of input parameters\n";
 echo "-- Testing ( (low < high) && (high-low < step) ) --\n";
@@ -62,6 +94,14 @@ range(): Argument #3 ($step) cannot be 0
 range(): Argument #3 ($step) cannot be 0
 range(): Argument #3 ($step) cannot be 0
 range(): Argument #3 ($step) cannot be 0
+Step cannot be INF
+range(): Argument #3 ($step) must be a finite number, INF provided
+range(): Argument #3 ($step) must be a finite number, INF provided
+range(): Argument #3 ($step) must be a finite number, INF provided
+Step cannot be NAN
+range(): Argument #3 ($step) must be a finite number, NAN provided
+range(): Argument #3 ($step) must be a finite number, NAN provided
+range(): Argument #3 ($step) must be a finite number, NAN provided
 Step must be within the range of input parameters
 -- Testing ( (low < high) && (high-low < step) ) --
 range(): Argument #3 ($step) must not exceed the specified range