[rcore] Fix modulo bias in GetRandomValue() (#5392)

* Fix modulo bias in GetRandomValue(); implement rejection sampling for uniformity

* Replace do-while with for-loop in GetRandomValue rejection sampling
This commit is contained in:
Marcos De La Torre
2025-12-10 00:23:40 -08:00
committed by GitHub
parent 3adfde42f7
commit f2a900a60d

View File

@@ -1743,7 +1743,30 @@ int GetRandomValue(int min, int max)
TRACELOG(LOG_WARNING, "Invalid GetRandomValue() arguments, range should not be higher than %i", RAND_MAX); TRACELOG(LOG_WARNING, "Invalid GetRandomValue() arguments, range should not be higher than %i", RAND_MAX);
} }
value = (rand()%(abs(max - min) + 1) + min); int range = (max - min) + 1;
// Degenerate/overflow case: fall back to min (same behavior as "always min" instead of UB)
if (range <= 0)
{
value = min;
}
else
{
// Rejection sampling to get a uniform integer in [min, max]
unsigned long c = (unsigned long)RAND_MAX + 1UL; // number of possible rand() results
unsigned long m = (unsigned long)range; // size of the target interval
unsigned long t = c - (c % m); // largest multiple of m <= c
unsigned long r;
for (;;)
{
r = (unsigned long)rand();
if (r < t) break; // Only accept values within the fair region
}
value = min + (int)(r % m);
}
#endif #endif
return value; return value;
} }