coverity tips

[Stephan Bergmann]

On 06/05/2014 12:02 PM, Caolán McNamara wrote:
> c) UNHANDLED_EXCEPTION
>
> coverity is only looking at what the exception specification is and what
> throw statements exist in the method. i.e. its not examining the logic
> so...
>
> void bar(bool bThrow) throw (foo)
> {
>      if (bThrow)
>          throw foo();
> }
>
> int foo throw()
> {
>      bar(false);
> }
>
> will generate a warning

...even in such a simple scenario?  Isn't that a serious bug in coverity 
then?

Stephan