From edefef17b54624d26c6690e8379ee9143e32bbbe Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Sat, 11 Jun 2016 22:49:23 -0400 Subject: [PATCH] Add comment for coverity, fixing #23307. --- src/frontends/qt4/GuiView.cpp | 3 +++ 1 file changed, 3 insertions(+) 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) -- 2.39.5