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