diff options
-rw-r--r-- | editors/awk.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/awk.c b/editors/awk.c index eedb7aa84..342b93df9 100644 --- a/editors/awk.c +++ b/editors/awk.c | |||
@@ -3284,9 +3284,9 @@ static var *evaluate(node *op, var *res) | |||
3284 | R_d = (double)v / 0x8000000000000000ULL; | 3284 | R_d = (double)v / 0x8000000000000000ULL; |
3285 | #elif ENABLE_PLATFORM_MINGW32 && RAND_MAX == 0x7fff | 3285 | #elif ENABLE_PLATFORM_MINGW32 && RAND_MAX == 0x7fff |
3286 | /* 45 bits of randomness ought to be enough for anyone */ | 3286 | /* 45 bits of randomness ought to be enough for anyone */ |
3287 | uint64_t v = ((uint64_t)rand() << 48) | | 3287 | uint64_t v = ((uint64_t)rand() << 18) | |
3288 | ((uint64_t)rand() << 33) | | 3288 | ((uint64_t)rand() << 33) | |
3289 | ((uint64_t)rand() << 18); | 3289 | ((uint64_t)rand() << 48); |
3290 | R_d = (double)v / 0x8000000000000000ULL; | 3290 | R_d = (double)v / 0x8000000000000000ULL; |
3291 | #else | 3291 | #else |
3292 | # error Not implemented for this value of RAND_MAX | 3292 | # error Not implemented for this value of RAND_MAX |