anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-22 01:59:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Tell coverity that LAPPERR kills LyX too.

Browse Source
This commit is contained in:
Jean-Marc Lasgouttes 2017-03-31 11:31:44 +02:00
parent 08561eba3f
commit 21ecd4528a
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
development/coverity_modeling.cpp
View File

@ -2,7 +2,7 @@
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) {
@ -10,4 +10,10 @@ void doAssertWithCallstack(bool value)
}
}
// Tell coverity that this function always exits
void doAppErr(char const * expr, char const * file, long line)
{
__coverity_panic__();
}
}