id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
12360,dead code detected by coverity in mersenne_twister,James E. King III <jim.king@…>,No-Maintainer,"This is from boost 1.54 - it would be wise to re-test this on the development trunk to ensure it is still there before resolving it.  This would be considered a trivial performance optimization by removing a branch.

{{{
    {
   assignment: Assigning: j = 623UL.
   const: At condition j < 623UL, the value of j must be equal to 623.
   dead_error_condition: The condition j < 623UL cannot be true.
430        for(std::size_t j = n-1-unroll_extra2; j < n-1; j++) {
   CID 10152 (#1 of 1): Logically dead code (DEADCODE)dead_error_begin: Execution cannot reach this statement: y = (this->x[j] & 0x8000000....
431            UIntType y = (x[j] & upper_mask) | (x[j+1] & lower_mask);
432            x[j] = x[j-(n-m)] ^ (y >> 1) ^ ((x[j+1]&1) * a);
433        }
434    }
}}}
",Bugs,new,To Be Determined,random,Boost 1.54.0,Optimization,,,