Add some comments to fix coverity #23386.

This commit is contained in:
Richard Heck 2016-06-11 23:26:02 -04:00
parent 3703a0235c
commit 1bd5ef9a75

View File

@ -1670,7 +1670,10 @@ void GuiApplication::dispatch(FuncRequest const & cmd, DispatchResult & dr)
boost::crc_32_type crc;
crc = for_each(fname.begin(), fname.end(), crc);
createView(crc.checksum());
// we know current_view_ is non-null, because createView sets it.
// coverity[FORWARD_NULL]
current_view_->openDocument(fname);
// FIXME but then why check current_view_ here?
if (current_view_ && !current_view_->documentBufferView())
current_view_->close();
} else {