From: Richard Heck <rgheck@lyx.org>
Date: Sun, 12 Jun 2016 03:01:21 +0000 (-0400)
Subject: Add comment fixing coverity #23351.
X-Git-Tag: 2.3.0alpha1~1492
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=a637efca6e94bdf42a493eaf4e58c2e29d24a1a9;p=features.git

Add comment fixing coverity #23351.
---

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index a18294e5af..4f63d16cc0 100644
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1981,6 +1981,8 @@ void TabWorkArea::updateTabTexts()
 			// that it makes the path more unique.
 			somethingChanged = true;
 			It sit = segStart;
+			// this is ok for the reason mentioned  in the previous comment.
+			// coverity[INVALIDATE_ITERATOR]
 			QString dspString = sit->forecastPathString();
 			LYXERR(Debug::GUI, "first forecast found for "
 			       << sit->abs() << " => " << dspString);