From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Fri, 31 Mar 2017 11:59:29 +0000 (+0200)
Subject: Play again with coverity annotation
X-Git-Tag: 2.3.0alpha1~144
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=ba39d2de04ebe3754f944692a454b91eef4e6177;p=features.git

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 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();
 }