version 1.61, 2014/12/08 20:39:56 |
version 1.62, 2014/12/08 21:45:19 |
|
|
int rand(void); |
int rand(void); |
void *realloc(void *, size_t); |
void *realloc(void *, size_t); |
void srand(unsigned); |
void srand(unsigned); |
|
void srand_deterministic(unsigned); |
double strtod(const char *, char **); |
double strtod(const char *, char **); |
float strtof(const char *, char **); |
float strtof(const char *, char **); |
long strtol(const char *, char **, int); |
long strtol(const char *, char **, int); |
|
|
double erand48(unsigned short[3]); |
double erand48(unsigned short[3]); |
long jrand48(unsigned short[3]); |
long jrand48(unsigned short[3]); |
void lcong48(unsigned short[7]); |
void lcong48(unsigned short[7]); |
|
void lcong48_deterministic(unsigned short[7]); |
long lrand48(void); |
long lrand48(void); |
long mrand48(void); |
long mrand48(void); |
long nrand48(unsigned short[3]); |
long nrand48(unsigned short[3]); |
unsigned short *seed48(unsigned short[3]); |
unsigned short *seed48(unsigned short[3]); |
|
unsigned short *seed48_deterministic(unsigned short[3]); |
void srand48(long); |
void srand48(long); |
|
void srand48_deterministic(long); |
|
|
int putenv(char *); |
int putenv(char *); |
#endif |
#endif |
|
|
long random(void); |
long random(void); |
char *setstate(char *); |
char *setstate(char *); |
void srandom(unsigned int); |
void srandom(unsigned int); |
|
void srandom_deterministic(unsigned int); |
|
|
char *realpath(const char *, char *) |
char *realpath(const char *, char *) |
__attribute__((__bounded__ (__minbytes__,2,1024))); |
__attribute__((__bounded__ (__minbytes__,2,1024))); |