[LyX/master] Add comment for coverity, fixing #23307.

[Richard Heck]

commit edefef17b54624d26c6690e8379ee9143e32bbbe
Author: Richard Heck <rgh...@lyx.org>
Date:   Sat Jun 11 22:49:23 2016 -0400

    Add comment for coverity, fixing #23307.

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index c1c74d5..af7419d 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)