From ba39d2de04ebe3754f944692a454b91eef4e6177 Mon Sep 17 00:00:00 2001 From: Jean-Marc Lasgouttes Date: Fri, 31 Mar 2017 13:59:29 +0200 Subject: [PATCH] Play again with coverity annotation The documentation is scarce and it is difficult to see what notation is right. --- src/insets/InsetBibitem.cpp | 2 +- src/insets/InsetBibtex.cpp | 4 ++-- src/insets/InsetCitation.cpp | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/insets/InsetBibitem.cpp b/src/insets/InsetBibitem.cpp index 4ccfea8db9..22abdf02d6 100644 --- a/src/insets/InsetBibitem.cpp +++ b/src/insets/InsetBibitem.cpp @@ -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(); } diff --git a/src/insets/InsetBibtex.cpp b/src/insets/InsetBibtex.cpp index 1b0143d8b8..99a7d55f82 100644 --- a/src/insets/InsetBibtex.cpp +++ b/src/insets/InsetBibtex.cpp @@ -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(); } } diff --git a/src/insets/InsetCitation.cpp b/src/insets/InsetCitation.cpp index 50be1f5c7c..fe752246f5 100644 --- a/src/insets/InsetCitation.cpp +++ b/src/insets/InsetCitation.cpp @@ -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(); } -- 2.39.2