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,,