From 2ea95fa71bf2085a1e8753df968f31bf43a80e73 Mon Sep 17 00:00:00 2001 From: Jean-Marc Lasgouttes Date: Mon, 9 Sep 2024 17:50:01 +0200 Subject: [PATCH] Improve coverity modeling This tells coverity that these functions terminate the program. --- development/coverity_modeling.cpp | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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__(); +} + + } -- 2.39.5