Play again with coverity annotation

The documentation is scarce and it is difficult to see what notation
is right.
This commit is contained in:
Jean-Marc Lasgouttes 2017-03-31 13:59:29 +02:00
parent f14ce3f2ef
commit ba39d2de04
3 changed files with 4 additions and 4 deletions

View File

@ -70,7 +70,7 @@ InsetBibitem::~InsetBibitem()
if (isBufferLoaded())
/* Coverity believes that this may throw an exception, but
* actually this code path is not taken when buffer_ == 0 */
// coverity[exn_spec_violation]
// coverity[fun_call_w_exception]
buffer().invalidateBibinfoCache();
}

View File

@ -70,9 +70,9 @@ InsetBibtex::~InsetBibtex()
if (isBufferLoaded()) {
/* Coverity believes that this may throw an exception, but
* actually this code path is not taken when buffer_ == 0 */
// coverity[exn_spec_violation]
// coverity[fun_call_w_exception]
buffer().invalidateBibfileCache();
// coverity[exn_spec_violation]
// coverity[fun_call_w_exception]
buffer().removeBiblioTempFiles();
}
}

View File

@ -57,7 +57,7 @@ InsetCitation::~InsetCitation()
if (isBufferLoaded())
/* Coverity believes that this may throw an exception, but
* actually this code path is not taken when buffer_ == 0 */
// coverity[exn_spec_violation]
// coverity[fun_call_w_exception]
buffer().removeBiblioTempFiles();
}