anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-09-19 14:30:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Improve coverity modeling

Browse Source 
This tells coverity that these functions terminate the program.
This commit is contained in:
Jean-Marc Lasgouttes 2024-09-09 17:50:01 +02:00
parent f4c02d670b
commit 2ea95fa71b
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
development/coverity_modeling.cpp
View File

@ -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__();
}
}