anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-09 18:31:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Model lyx_exit() to tell coverity what it does

Browse Source
This commit is contained in:
Jean-Marc Lasgouttes 2017-03-31 16:51:02 +02:00
parent ad20dac17f
commit db7054da9f
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
development/coverity_modeling.cpp
View File

@ -10,10 +10,17 @@ void doAssertWithCallstack(bool value)
} }
} }
// Tell coverity that this function always exits // Tell coverity that this function always exits
void doAppErr(char const * expr, char const * file, long line) void doAppErr(char const * expr, char const * file, long line)
{ {
__coverity_panic__(); __coverity_panic__();
} }
void lyx_exit(int exit_code)
{
__coverity_panic__();
}
} }