Re: [Boost-bugs] [Boost C++ Libraries] #12360: dead code detected by coverity in mersenne_twister

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #12360: dead code detected by coverity in mersenne_twister
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2017-05-04 04:00:00

#12360: dead code detected by coverity in mersenne_twister
----------------------------------------------+---------------------------
  Reporter:  James E. King, III <jim.king@…>  |      Owner:  no-maintainer
      Type:  Bugs                             |     Status:  new
 Milestone:  To Be Determined                 |  Component:  random
   Version:  Boost 1.54.0                     |   Severity:  Optimization
Resolution:                                   |   Keywords:
----------------------------------------------+---------------------------

Comment (by jim.king@…):

 If you want to close it out that's fine.  I just checked and found that
 boost is not covered in Coverity Scan.  I think it would be really useful,
 especially given each boost project is separate in github, to have a
 Coverity Scan project covering each boost project.  It is a useful tool
 that finds problems, and you can never have enough quality controls on
 software.

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