id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
9077	Loop body never executed in boost::random::mersenne_twister.hpp	Alexander Drichel <alexander.drichel@…>	No-Maintainer	"line 430

C6294	Loop body never executed
	Ill-defined for-loop:  initial condition does not satisfy test.  

{{{
mersenne_twister_engine<UIntType,w,n,m,r,a,u,d,s,b,t,c,l,f>::twist()
{
...
for(std::size_t j = n-1-unroll_extra2; j < n-1; j++) {
    UIntType y = (x[j] & upper_mask) | (x[j+1] & lower_mask);
    x[j] = x[j-(n-m)] ^ (y >> 1) ^ ((x[j+1]&1) * a);
...
}

}}}"	Bugs	closed	To Be Determined	random	Boost 1.52.0	Cosmetic	invalid