development/coverity_modeling.cpp

   1 // This file is a modeling file for coverity
   2
   3 namespace lyx {
   4
   5 // Tell coverity that this function exits when value is false
   6 void doAssertWithCallstack(bool value)
   7 {
   8         if (!value) {
   9                  __coverity_panic__();
  10         }
  11 }
  12
  13
  14 // Tell coverity that this function always exits
  15 void doAppErr(char const * expr, char const * file, long line)
  16 {
  17         __coverity_panic__();
  18 }
  19
  20
  21 void lyx_exit(int exit_code)
  22 {
  23         __coverity_panic__();
  24 }
  25
  26 }