Loop body never executed in boost::random::mersenne_twister.hpp

[Alexander Drichel <alexander.drichel@…>]

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);
...
}

[Steven Watanabe]

What compiler is this with? This loop is needed in the general case.