]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1dcb559) | patch
Mark rand/mt_rand args as UNKNOWN
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 9 Apr 2020 14:01:44 +0000 (16:01 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 9 Apr 2020 14:10:56 +0000 (16:10 +0200)
commit258c4dfdb2255fae480f9ba0a9b64a9680cea00f
tree52843444319b85ef4caff7d81ee30898b2d92770tree | snapshot
parent1dcb559664277a2605eae4ca5c82310afa5a6d5fcommit | diff
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.
ext/standard/basic_functions.stub.php diff | blob | history
ext/standard/basic_functions_arginfo.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.