From: Richard Heck <rgheck@lyx.org>
Date: Sun, 12 Jun 2016 02:49:23 +0000 (-0400)
Subject: Add comment for coverity, fixing #23307.
X-Git-Tag: 2.3.0alpha1~1496
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=edefef17b54624d26c6690e8379ee9143e32bbbe;p=lyx.git

Add comment for coverity, fixing #23307.
---

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index c1c74d5497..af7419d233 100644
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -3962,6 +3962,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]
 			Buffer const * doc_master = doc_buffer->masterBuffer();
 			FileName const path(doc_master->temppath());
 			string const texname = doc_master->isChild(doc_buffer)