Play again with coverity annotation

The documentation is scarce and it is difficult to see what notation
is right.

diff --git a/src/insets/InsetBibitem.cpp b/src/insets/InsetBibitem.cpp
index 4ccfea8db984268c8d07496b3fafe81311918b81..22abdf02d6b7639db8aa7e8f472107c0db1d06e4 100644 (file)
--- 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 1b0143d8b85097cda1b331be9c0ee6747a89f73d..99a7d55f82fb2a1b26c471c37044f8bca44d9a6d 100644 (file)
--- 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 50be1f5c7cdb5a059aa8a0ce4ea2da98a0439121..fe752246f53460ba85c554d9113ff5db0a93c3fa 100644 (file)
--- 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();
 }