commit 2ea95fa71bf2085a1e8753df968f31bf43a80e73
Author: Jean-Marc Lasgouttes <lasgout...@lyx.org>
Date: Mon Sep 9 17:50:01 2024 +0200
Improve coverity modeling
This tells coverity that these functions terminate the program.
---
development/coverity_modeling.cpp | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/development/coverity_modeling.cpp
b/development/coverity_modeling.cpp
index 1e1d315b6c..984464655a 100644
--- a/development/coverity_modeling.cpp
+++ b/development/coverity_modeling.cpp
@@ -11,6 +11,12 @@ void doAssertWithCallstack(bool value)
}
+void doAssertStatic(char const * expr, char const * file, long line)
+{
+ __coverity_panic__();
+}
+
+
// Tell coverity that this function always exits
void doAppErr(char const * expr, char const * file, long line)
{
@@ -23,4 +29,11 @@ void lyx_exit(int exit_code)
__coverity_panic__();
}
+
+void lyxbreaker(void const * data, const char * hint, int size)
+{
+ __coverity_panic__();
+}
+
+
}
--
lyx-cvs mailing list
lyx-cvs@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-cvs
