id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
10064	generate_uniform_real may go into infinite loop	Markus Faerber <mf@…>	No-Maintainer	"See uniform_real_distribution.hpp:

template<class Engine, class T>
T generate_uniform_real(
    Engine& eng, T min_value, T max_value,
    boost::mpl::true_  /** is_integral<Engine::result_type> */)
{
    for(;;) {
        typedef T result_type;
        typedef typename Engine::result_type base_result;
        result_type numerator = static_cast<T>(subtract<base_result>()(eng(), (eng.min)()));
        result_type divisor = static_cast<T>(subtract<base_result>()((eng.max)(), (eng.min)())) + 1;
        BOOST_ASSERT(divisor > 0);
        BOOST_ASSERT(numerator >= 0 && numerator <= divisor);
        T result = numerator / divisor * (max_value - min_value) + min_value;
        if(result < max_value) return result;
    }
}

Please add a ""BOOST_ASSERT(max_value > min_value);"".

If one declares something like

   boost::random::mt19937 mt;
   boost::random::uniform_real_distribution<double> dist(0.0, 0.0);

dist(mt) makes generate_uniform_real go into an infinite loop.

Thank you and best regards."	Bugs	new	To Be Determined	random	Boost 1.54.0	Problem