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