1 // This file is a modeling file for coverity
5 // Tell coverity that this function exits when value is false
6 void doAssertWithCallstack(bool value)
14 // Tell coverity that this function always exits
15 void doAppErr(char const * expr, char const * file, long line)
21 void lyx_exit(int exit_code)