Add comment for coverity, fixing #23307.

This commit is contained in:
Richard Heck 2016-06-11 22:49:23 -04:00
parent 355395174b
commit edefef17b5

View File

@ -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)