1
0
mirror of https://github.com/php/php-src.git synced 2026-04-14 19:41:05 +02:00
Files
archived-php-src/ext
Nikita Popov 258c4dfdb2 Mark rand/mt_rand args as UNKNOWN
The second argument should be mt_getrandmax(), not PHP_INT_MAX.
Additionally this function only accepts either zero or two arguments,
so err on the side of being conservative and mark both UNKNOWN.
2020-04-09 16:10:56 +02:00
..
2020-04-09 14:06:11 +02:00
2020-04-09 14:06:11 +02:00
2020-04-03 10:06:52 +02:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2020-02-17 22:55:16 +01:00
2020-02-03 22:52:20 +01:00
2020-02-03 22:52:20 +01:00
2020-04-09 14:06:11 +02:00