From f19d6507523de69850a7dc2e522411b1d91eeefc Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Sun, 12 Jun 2016 00:22:09 -0400 Subject: [PATCH] Add comment about coverity #102061. --- src/frontends/qt4/GuiApplication.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp index 022418fc15..4d9035ef16 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) { -- 2.39.2