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 02:11:34

#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 emildotchevski):

 In release or in debug, reaching that code indicates a logic error (bug).
 I'm not against tagging it as "NOTREACHED" if that helps silence automatic
 code analyzers, but "fall through" would mislead the reader that fall
 through is the intended behavior. It is not; if the default is reached, I
 have a bug.

 (Throwing an exception is not a good choice for indicating logic errors.)

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