X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=development%2Fcoverity_modeling.cpp;h=1e1d315b6ca976a65dc980e49e18f20b5e71673f;hb=4b20ae9d591eb9a472cfe7fa7729c0e95a326206;hp=baca85466adcde158ea2aafa1eb8cba83e5e48a1;hpb=2a0e4c199c4f18d80ec5a2ab452f3cf18eafc56c;p=lyx.git

diff --git a/development/coverity_modeling.cpp b/development/coverity_modeling.cpp
index baca85466a..1e1d315b6c 100644
--- a/development/coverity_modeling.cpp
+++ b/development/coverity_modeling.cpp
@@ -2,7 +2,7 @@
 
 namespace lyx {
 
-// Tell coverity that this function always exits
+// Tell coverity that this function exits when value is false
 void doAssertWithCallstack(bool value)
 {
 	if (!value) {
@@ -10,4 +10,17 @@ void doAssertWithCallstack(bool value)
 	}
 }
 
+
+// Tell coverity that this function always exits
+void doAppErr(char const * expr, char const * file, long line)
+{
+	__coverity_panic__();
+}
+
+
+void lyx_exit(int exit_code)
+{
+	__coverity_panic__();
+}
+
 }