blob: bd5617365b1e2d43e371acd95d6426ec3b5f67bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#include <stdlib.h>
#include "nonstd/internal.h"
/** get a pseudo-random number **/
int rand(void)
{
/* FIXME: forward dependency on POSIX.1c-1995 */
extern int rand_r(unsigned int*);
return rand_r(__libc(RAND));
}
/***
computes a pseudo-random number in the range [0,CONSTANT(RAND_MAX)].
***/
/*
RETURN_SUCCESS(a pseudo-random integer)
STDC(1)
*/
|
