File tree 3 files changed +26
-6
lines changed 3 files changed +26
-6
lines changed Original file line number Diff line number Diff line change @@ -1821,15 +1821,21 @@ ZEND_FUNCTION(gmp_random_bits)
1821
1821
RETURN_THROWS ();
1822
1822
}
1823
1823
1824
- if (bits <= 0 ) {
1825
- zend_argument_value_error (1 , "must be greater than or equal to 1" );
1824
+ #if SIZEOF_SIZE_T == 4
1825
+ const zend_long maxbits = ULONG_MAX / GMP_NUMB_BITS ;
1826
+ #else
1827
+ const zend_long maxbits = INT_MAX ;
1828
+ #endif
1829
+
1830
+ if (bits <= 0 || bits > maxbits ) {
1831
+ zend_argument_value_error (1 , "must be between 1 and " ZEND_LONG_FMT , maxbits );
1826
1832
RETURN_THROWS ();
1827
1833
}
1828
1834
1829
1835
INIT_GMP_RETVAL (gmpnum_result );
1830
1836
gmp_init_random ();
1831
1837
1832
- mpz_urandomb (gmpnum_result , GMPG (rand_state ), bits );
1838
+ mpz_urandomb (gmpnum_result , GMPG (rand_state ), ( mp_bitcnt_t ) bits );
1833
1839
}
1834
1840
/* }}} */
1835
1841
Original file line number Diff line number Diff line change
1
+ --TEST--
2
+ GH-16501 (gmp_random_bits overflow)
3
+ --EXTENSIONS--
4
+ gmp
5
+ --FILE--
6
+ <?php
7
+ try {
8
+ gmp_random_bits (PHP_INT_MAX );
9
+ } catch (\ValueError $ e ) {
10
+ echo $ e ->getMessage ();
11
+ }
12
+ ?>
13
+ --EXPECTF--
14
+ gmp_random_bits(): Argument #1 ($bits) must be between 1 and %d
Original file line number Diff line number Diff line change @@ -40,7 +40,7 @@ while (1) {
40
40
41
41
echo "Done \n" ;
42
42
?>
43
- --EXPECT --
44
- gmp_random_bits(): Argument #1 ($bits) must be greater than or equal to 1
45
- gmp_random_bits(): Argument #1 ($bits) must be greater than or equal to 1
43
+ --EXPECTF --
44
+ gmp_random_bits(): Argument #1 ($bits) must be between 1 and %d
45
+ gmp_random_bits(): Argument #1 ($bits) must be between 1 and %d
46
46
Done
You can’t perform that action at this time.
0 commit comments