From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Fri, 31 Mar 2017 14:51:02 +0000 (+0200)
Subject: Model lyx_exit() to tell coverity what it does
X-Git-Tag: 2.3.0alpha1~142
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=db7054da9f56d2dc574299e42370cc8cb53cf67a;p=features.git

Model lyx_exit() to tell coverity what it does
---

diff --git a/development/coverity_modeling.cpp b/development/coverity_modeling.cpp
index 14382abfd0..1e1d315b6c 100644
--- a/development/coverity_modeling.cpp
+++ b/development/coverity_modeling.cpp
@@ -10,10 +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__();
+}
+
 }