commit 892d9e0e7770a20f0cb9312b36d11f1f5913ec7d
Author: Jean-Marc Lasgouttes <lasgout...@lyx.org>
Date: Thu Apr 3 15:50:32 2025 +0200
Tell Coverity Scan that inset has at least one row and one column
---
src/mathed/InsetMathHull.cpp | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/mathed/InsetMathHull.cpp b/src/mathed/InsetMathHull.cpp
index e7be2d3a52..de9822b285 100644
--- a/src/mathed/InsetMathHull.cpp
+++ b/src/mathed/InsetMathHull.cpp
@@ -236,6 +236,9 @@ void InsetMathHull::setBuffer(Buffer & buffer)
void InsetMathHull::updateBuffer(ParIterator const & it, UpdateType utype,
bool const deleted)
{
+ // Tell Coverity Scan that the inset is never empty
+ LATTEST(nrows() > 0 && ncols() > 0);
+
if (!buffer_) {
//FIXME: buffer_ should be set at creation for this inset!
Problem is
// This inset is created at too many places (see
Parser::parse1() in
--
lyx-cvs mailing list
lyx-cvs@lists.lyx.org
https://lists.lyx.org/mailman/listinfo/lyx-cvs
