From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Fri, 31 Mar 2017 09:47:47 +0000 (+0200)
Subject: Replace coverity annotation by assertions
X-Git-Tag: 2.3.0alpha1~146
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=6b2444a7df3674be08d401d4a9381d420a0c0faa;p=features.git

Replace coverity annotation by assertions
---

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index 625a424a72..be9425ba34 100644
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -3253,10 +3253,9 @@ void GuiView::dispatchVC(FuncRequest const & cmd, DispatchResult & dr)
 
 		string rev1 = cmd.getArg(0);
 		string f1, f2;
+		LATTEST(buffer)
 
 		// f1
-		// it seems safe to assume we have a buffer
-		// coverity[FORWARD_NULL]
 		if (!buffer->lyxvc().prepareFileRevision(rev1, f1))
 			break;
 
@@ -4019,9 +4018,9 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
 			break;
 
 		case LFUN_FORWARD_SEARCH: {
-		// it seems safe to assume we have a document buffer, since
-		// getStatus wants one.
-		// coverity[FORWARD_NULL]
+			// it seems safe to assume we have a document buffer, since
+			// getStatus wants one.
+			LATTEST(doc_buffer);
 			Buffer const * doc_master = doc_buffer->masterBuffer();
 			FileName const path(doc_master->temppath());
 			string const texname = doc_master->isChild(doc_buffer)