From: Richard Heck <rgheck@lyx.org>
Date: Sun, 12 Jun 2016 02:54:15 +0000 (-0400)
Subject: Add comment to fix coverity #23308
X-Git-Tag: 2.3.0alpha1~1494
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=fd42194c7e661e024e34e56166b193284fa5a693;p=features.git

Add comment to fix coverity #23308
---

diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index 7d6ca0b730..460d7ad462 100644
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -1673,8 +1673,11 @@ void GuiApplication::dispatch(FuncRequest const & cmd, DispatchResult & dr)
 			current_view_->openDocument(fname);
 			if (current_view_ && !current_view_->documentBufferView())
 				current_view_->close();
-		} else
+		} else {
+			// we know !d->views.empty(), so this should be ok
+			// coverity[FORWARD_NULL]
 			current_view_->openDocument(fname);
+		}
 		break;
 	}