From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Mon, 9 Sep 2024 15:50:01 +0000 (+0200)
Subject: Improve coverity modeling
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=2ea95fa71bf2085a1e8753df968f31bf43a80e73;p=lyx.git

Improve coverity modeling

This tells coverity that these functions terminate the program.
---

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__();
+}
+
+
 }