mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-06 00:10:59 +00:00
27 lines
413 B
C++
27 lines
413 B
C++
// This file is a modeling file for coverity
|
|
|
|
namespace lyx {
|
|
|
|
// Tell coverity that this function exits when value is false
|
|
void doAssertWithCallstack(bool value)
|
|
{
|
|
if (!value) {
|
|
__coverity_panic__();
|
|
}
|
|
}
|
|
|
|
|
|
// 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__();
|
|
}
|
|
|
|
}
|