[Boost-bugs] [Boost C++ Libraries] #9077: Loop body never executed in boost::random::mersenne_twister.hpp

Subject: [Boost-bugs] [Boost C++ Libraries] #9077: Loop body never executed in boost::random::mersenne_twister.hpp
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2013-09-02 14:14:36

#9077: Loop body never executed in boost::random::mersenne_twister.hpp
-------------------------------------------------+-------------------------
 Reporter:  Alexander Drichel                    |      Owner:  no-
  <alexander.drichel@…>                          |  maintainer
     Type:  Bugs                                 |     Status:  new
Milestone:  To Be Determined                     |  Component:  random
  Version:  Boost 1.52.0                         |   Severity:  Cosmetic
 Keywords:                                       |
-------------------------------------------------+-------------------------
 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);
 ...
 }

 }}}

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/9077>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.