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

Reply via email to