Add comment for coverity, fixing #23307.

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index c1c74d549701234ea2662687c2c3d05ebfff911c..af7419d233e7269f3814fca10f16c7941ef157d0 100644 (file)
--- 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)