From df022f91b4e8c4537f1d499c7ad6afce9fc9bad9 Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Sat, 11 Jun 2016 23:03:15 -0400 Subject: [PATCH] Check to make sure we have a preview loader. Fixes coverity #23353. --- src/insets/RenderPreview.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/insets/RenderPreview.cpp b/src/insets/RenderPreview.cpp index b05dca65b4..59a870c412 100644 --- a/src/insets/RenderPreview.cpp +++ b/src/insets/RenderPreview.cpp @@ -104,6 +104,9 @@ docstring const statusMessage(BufferView const * bv, string const & snippet) Buffer const & buffer = bv->buffer(); graphics::PreviewLoader const * loader = buffer.loader(); + // please coverity (probably worth the check anyway) + if (!loader) + return docstring(); graphics::PreviewLoader::Status const status = loader->status(snippet); docstring message; -- 2.39.2