From db7054da9f56d2dc574299e42370cc8cb53cf67a Mon Sep 17 00:00:00 2001 From: Jean-Marc Lasgouttes Date: Fri, 31 Mar 2017 16:51:02 +0200 Subject: [PATCH] Model lyx_exit() to tell coverity what it does --- development/coverity_modeling.cpp | 7 +++++++ 1 file changed, 7 insertions(+) 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__(); +} + } -- 2.39.2