-/* Copyright (c) 2019-2020. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2019-2021. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
int XbtRandom::uniform_int(int min, int max)
{
- unsigned long range = max - min + 1;
+ // The casts to unsigned are here to ensure that the value of range is correctly calculated, even when greater than
+ // INT_MAX. See the corresponding unit tests for examples.
+ unsigned long range = static_cast<unsigned>(max) - static_cast<unsigned>(min);
xbt_assert(min <= max,
"The minimum value for the uniform integer distribution must not be greater than the maximum value");
- xbt_assert(range > 0, "Overflow in the uniform integer distribution, please use a smaller range.");
+ xbt_assert(range <= decltype(mt19937_gen)::max(),
+ "Overflow in the uniform integer distribution, please use a smaller range.");
+ if (range == decltype(mt19937_gen)::max())
+ return static_cast<int>(mt19937_gen() + min);
+
+ ++range;
+ unsigned long limit = decltype(mt19937_gen)::max() - decltype(mt19937_gen)::max() % range;
unsigned long value;
do {
value = mt19937_gen();
- } while (value >= decltype(mt19937_gen)::max() - decltype(mt19937_gen)::max() % range);
+ } while (value >= limit);
return static_cast<int>(value % range + min);
}