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 // Tell coverity that this function always exits
  14 void doAppErr(char const * expr, char const * file, long line)
  15 {
  16         __coverity_panic__();
  17 }
  18
  19 }