Re: [Boost-bugs] [Boost C++ Libraries] #12362: Default case handling in exception_ptr missing clue for coverity to treat switch fall-through as intentional

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #12362: Default case handling in exception_ptr missing clue for coverity to treat switch fall-through as intentional
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2016-07-30 03:15:30

#12362: Default case handling in exception_ptr missing clue for coverity to treat
switch fall-through as intentional
----------------------------------------------+----------------------------
  Reporter:  James E. King, III <jim.king@…>  |      Owner:  emildotchevski
      Type:  Bugs                             |     Status:  closed
 Milestone:  To Be Determined                 |  Component:  exception
   Version:  Boost 1.54.0                     |   Severity:  Cosmetic
Resolution:  invalid                          |   Keywords:
----------------------------------------------+----------------------------

Comment (by James E. King, III <jim.king@…>):

 Given BOOST_ASSERT is supposed to have the same characteristics as
 assert() that means it only happens in debug mode, and this means in
 release mode builds that is a fall-through.  I find that more often than
 not Coverity is telling the truth; I could easily have marked this as
 intentional in a third party but I wanted to raise it.  Whatever you
 decide is fine, it's your code. :)

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