From 55957c45763300229cf6084ef753d0025eebc383 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Tue, 7 Mar 2017 11:48:32 +0100
Subject: [PATCH] Fix test to make coverity happy

It is not obvious that cur is not null iff thisSlice is not -1, but
this is what happens in the caller.
---
 src/mathed/MathData.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/mathed/MathData.cpp b/src/mathed/MathData.cpp
index 322a8e9ceb..3f298afad1 100644
--- a/src/mathed/MathData.cpp
+++ b/src/mathed/MathData.cpp
@@ -739,7 +739,9 @@ void MathData::collectOptionalParameters(Cursor * cur,
 			params.push_back(optarg);
 
 		// place cursor in optional argument of macro
-		if (thisSlice != -1
+		// Note: The two expressions on the first line are equivalent
+		// (see caller), but making this explicit pleases coverity.
+		if (cur && thisSlice != -1
 		    && thisPos >= int(pos) && thisPos <= int(right)) {
 			int paramPos = max(0, thisPos - int(pos) - 1);
 			vector<CursorSlice> x;
-- 
2.39.2