diff --git a/games/random/random.c b/games/random/random.c index 0e8f1aa426cd..62c83ba75294 100644 --- a/games/random/random.c +++ b/games/random/random.c @@ -62,6 +62,12 @@ __FBSDID("$FreeBSD$"); #include "randomize_fd.h" +/* + * The random() function is defined to return values between 0 and + * 2^31 - 1 inclusive in random(3). + */ +#define RANDOM_MAX 0x7fffffffL + static void usage(void); int @@ -158,7 +164,7 @@ main(int argc, char *argv[]) /* Compute a random exit status between 0 and denom - 1. */ if (random_exit) - return (int)((denom * random()) / RAND_MAX); + return (int)((denom * random()) / RANDOM_MAX); /* * Select whether to print the first line. (Prime the pump.) @@ -166,7 +172,7 @@ main(int argc, char *argv[]) * 0 (which has a 1 / denom chance of being true), we select the * line. */ - selected = (int)(denom * random() / RAND_MAX) == 0; + selected = (int)(denom * random() / RANDOM_MAX) == 0; while ((ch = getchar()) != EOF) { if (selected) (void)putchar(ch); @@ -176,7 +182,7 @@ main(int argc, char *argv[]) err(2, "stdout"); /* Now see if the next line is to be printed. */ - selected = (int)(denom * random() / RAND_MAX) == 0; + selected = (int)(denom * random() / RANDOM_MAX) == 0; } } if (ferror(stdin))