Searched refs:rnd_idx (Results 1 – 2 of 2) sorted by relevance
| /PHP-5.5/ext/standard/ |
| H A D | array.c | 1742 int j, n_elems, rnd_idx, n_left; in php_array_data_shuffle() local
1757 rnd_idx = php_rand(TSRMLS_C); in php_array_data_shuffle()
1758 RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX); in php_array_data_shuffle()
1759 if (rnd_idx != n_left) { in php_array_data_shuffle()
1761 elems[n_left] = elems[rnd_idx]; in php_array_data_shuffle()
1762 elems[rnd_idx] = temp; in php_array_data_shuffle()
|
| H A D | string.c | 5386 long n_elems, rnd_idx, n_left; local
5399 rnd_idx = php_rand(TSRMLS_C);
5400 RAND_RANGE(rnd_idx, 0, n_left, PHP_RAND_MAX);
5401 if (rnd_idx != n_left) {
5403 str[n_left] = str[rnd_idx];
5404 str[rnd_idx] = temp;
|
Completed in 49 milliseconds
