commit f19d6507523de69850a7dc2e522411b1d91eeefc
Author: Richard Heck <[email protected]>
Date: Sun Jun 12 00:22:09 2016 -0400
Add comment about coverity #102061.
diff --git a/src/frontends/qt4/GuiApplication.cpp
b/src/frontends/qt4/GuiApplication.cpp
index 022418f..4d9035e 100644
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -1464,6 +1464,8 @@ void GuiApplication::gotoBookmark(unsigned int idx, bool
openFile,
// if the current buffer is not that one, switch to it.
BufferView * doc_bv = current_view_ ?
current_view_->documentBufferView() : 0;
+ // FIXME It's possible that doc_bv is null!!
+ // See coverity #102061
Cursor const old = doc_bv->cursor();
if (!doc_bv || doc_bv->buffer().fileName() != tmp.filename) {
if (switchToBuffer) {