Followup to e10db6c7: handle InsetCitation too.

This commit is contained in:
Jean-Marc Lasgouttes 2017-03-31 11:23:28 +02:00
parent 5890e9b831
commit 08561eba3f
4 changed files with 6 additions and 3 deletions

View File

@ -68,7 +68,7 @@ InsetBibitem::InsetBibitem(Buffer * buf, InsetCommandParams const & p)
InsetBibitem::~InsetBibitem() InsetBibitem::~InsetBibitem()
{ {
if (isBufferLoaded()) if (isBufferLoaded())
/* Coverity believs that this may throw an exception, but /* Coverity believes that this may throw an exception, but
* actually this code path is not taken when buffer_ == 0 */ * actually this code path is not taken when buffer_ == 0 */
// coverity[exn_spec_violation] // coverity[exn_spec_violation]
buffer().invalidateBibinfoCache(); buffer().invalidateBibinfoCache();

View File

@ -68,7 +68,7 @@ InsetBibtex::InsetBibtex(Buffer * buf, InsetCommandParams const & p)
InsetBibtex::~InsetBibtex() InsetBibtex::~InsetBibtex()
{ {
if (isBufferLoaded()) { if (isBufferLoaded()) {
/* Coverity believs that this may throw an exception, but /* Coverity believes that this may throw an exception, but
* actually this code path is not taken when buffer_ == 0 */ * actually this code path is not taken when buffer_ == 0 */
// coverity[exn_spec_violation] // coverity[exn_spec_violation]
buffer().invalidateBibfileCache(); buffer().invalidateBibfileCache();

View File

@ -55,6 +55,9 @@ InsetCitation::InsetCitation(Buffer * buf, InsetCommandParams const & p)
InsetCitation::~InsetCitation() InsetCitation::~InsetCitation()
{ {
if (isBufferLoaded()) 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]
buffer().removeBiblioTempFiles(); buffer().removeBiblioTempFiles();
} }

View File

@ -198,7 +198,7 @@ InsetInclude::InsetInclude(InsetInclude const & other)
InsetInclude::~InsetInclude() InsetInclude::~InsetInclude()
{ {
if (isBufferLoaded()) if (isBufferLoaded())
/* Coverity believs that this may throw an exception, but /* Coverity believes that this may throw an exception, but
* actually this code path is not taken when buffer_ == 0 */ * actually this code path is not taken when buffer_ == 0 */
// coverity[exn_spec_violation] // coverity[exn_spec_violation]
buffer().invalidateBibfileCache(); buffer().invalidateBibfileCache();