Re: New Defects reported by Coverity Scan for LibreOffice

On Mon, 2017-01-23 at 10:03 +0100, Stephan Bergmann wrote:
> This appears to be irrespective of any (dynamic) exception 
> specifications, so is unlikely to go away with the ongoing work for 
> <https://lists.freedesktop.org/archives/libreoffice/2017-January/0766
> 65.html> 
> "Dynamic Exception Specifications".

Yeah, I upgraded out coverity to the latest 8.7.0, hence the new
exception warnings on exceptions possibly thrown from dtors.

Note too that the checks just examine what methods could possibly be
called on any given code path through the code, not just the one used
in the dtor so

foo::~foo()
{
    thing(false);
}

void thing(bool bar)
{
    if (bar)
       throw something
}

gets a warning.

Presumably adding noexcept(false) to things will generally have to wait
until the dynamic exception specification stuff is in place cause the
top of the various hierarchies need the loosest throw specs for
inherited things to loosen theirs to noexcept(false)

C.