ext/gmp: Check for valid bit index/start consistently

Author: Girgias

ext/gmp/gmp.c

@@ -1539,6 +1539,10 @@ ZEND_FUNCTION(gmp_random_range)
 }
 /* }}} */
 
+static bool gmp_is_bit_index_valid(zend_long index) {
+	return index >= 0 && (index / GMP_NUMB_BITS < INT_MAX);
+}
+
 /* {{{ Sets or clear bit in a */
 ZEND_FUNCTION(gmp_setbit)
 {
@@ -1551,12 +1555,8 @@ ZEND_FUNCTION(gmp_setbit)
 		RETURN_THROWS();
 	}
 
-	if (index < 0) {
-		zend_argument_value_error(2, "must be greater than or equal to 0");
-		RETURN_THROWS();
-	}
-	if (index / GMP_NUMB_BITS >= INT_MAX) {
-		zend_argument_value_error(2, "must be less than %d * %d", INT_MAX, GMP_NUMB_BITS);
+	if (!gmp_is_bit_index_valid(index)) {
+		zend_argument_value_error(2, "must be between 0 and %d * %d", INT_MAX, GMP_NUMB_BITS);
 		RETURN_THROWS();
 	}
 
@@ -1581,8 +1581,8 @@ ZEND_FUNCTION(gmp_clrbit)
 		RETURN_THROWS();
 	}
 
-	if (index < 0) {
-		zend_argument_value_error(2, "must be greater than or equal to 0");
+	if (!gmp_is_bit_index_valid(index)) {
+		zend_argument_value_error(2, "must be between 0 and %d * %d", INT_MAX, GMP_NUMB_BITS);
 		RETURN_THROWS();
 	}
 
@@ -1602,8 +1602,8 @@ ZEND_FUNCTION(gmp_testbit)
 		Z_PARAM_LONG(index)
 	ZEND_PARSE_PARAMETERS_END();
 
-	if (index < 0) {
-		zend_argument_value_error(2, "must be greater than or equal to 0");
+	if (!gmp_is_bit_index_valid(index)) {
+		zend_argument_value_error(2, "must be between 0 and %d * %d", INT_MAX, GMP_NUMB_BITS);
 		RETURN_THROWS();
 	}
 
@@ -1649,8 +1649,8 @@ ZEND_FUNCTION(gmp_scan0)
 		Z_PARAM_LONG(start)
 	ZEND_PARSE_PARAMETERS_END();
 
-	if (start < 0) {
-		zend_argument_value_error(2, "must be greater than or equal to 0");
+	if (!gmp_is_bit_index_valid(start)) {
+		zend_argument_value_error(2, "must be between 0 and %d * %d", INT_MAX, GMP_NUMB_BITS);
 		RETURN_THROWS();
 	}
 
@@ -1669,8 +1669,8 @@ ZEND_FUNCTION(gmp_scan1)
 		Z_PARAM_LONG(start)
 	ZEND_PARSE_PARAMETERS_END();
 
-	if (start < 0) {
-		zend_argument_value_error(2, "must be greater than or equal to 0");
+	if (!gmp_is_bit_index_valid(start)) {
+		zend_argument_value_error(2, "must be between 0 and %d * %d", INT_MAX, GMP_NUMB_BITS);
 		RETURN_THROWS();
 	}
 

ext/gmp/tests/gmp_clrbit.phpt

@@ -46,9 +46,9 @@ echo "Done\n";
 ?>
 --EXPECT--
 string(1) "0"
-gmp_clrbit(): Argument #2 ($index) must be greater than or equal to 0
+gmp_clrbit(): Argument #2 ($index) must be between 0 and 2147483647 * 64
 string(2) "-1"
-gmp_clrbit(): Argument #2 ($index) must be greater than or equal to 0
+gmp_clrbit(): Argument #2 ($index) must be between 0 and 2147483647 * 64
 string(7) "1000000"
 string(7) "1000000"
 string(30) "238462734628347239571822592658"

ext/gmp/tests/gmp_scan0.phpt

@@ -28,7 +28,7 @@ try {
 echo "Done\n";
 ?>
 --EXPECT--
-gmp_scan0(): Argument #2 ($start) must be greater than or equal to 0
+gmp_scan0(): Argument #2 ($start) must be between 0 and 2147483647 * 64
 int(2)
 int(0)
 int(5)

ext/gmp/tests/gmp_scan1.phpt

@@ -28,7 +28,7 @@ try {
 echo "Done\n";
 ?>
 --EXPECT--
-gmp_scan1(): Argument #2 ($start) must be greater than or equal to 0
+gmp_scan1(): Argument #2 ($start) must be between 0 and 2147483647 * 64
 int(1)
 int(12)
 int(9)

ext/gmp/tests/gmp_setbit.phpt

@@ -52,7 +52,7 @@ echo "Done\n";
 ?>
 --EXPECT--
 string(2) "-1"
-gmp_setbit(): Argument #2 ($index) must be greater than or equal to 0
+gmp_setbit(): Argument #2 ($index) must be between 0 and 2147483647 * 64
 string(1) "5"
 string(1) "1"
 string(1) "7"

ext/gmp/tests/gmp_testbit.phpt

@@ -48,12 +48,12 @@ var_dump(gmp_strval($n));
 echo "Done\n";
 ?>
 --EXPECT--
-gmp_testbit(): Argument #2 ($index) must be greater than or equal to 0
+gmp_testbit(): Argument #2 ($index) must be between 0 and 2147483647 * 64
 bool(false)
 bool(false)
 bool(false)
 bool(true)
-gmp_testbit(): Argument #2 ($index) must be greater than or equal to 0
+gmp_testbit(): Argument #2 ($index) must be between 0 and 2147483647 * 64
 bool(false)
 bool(true)
 string(7) "1000002"