development/coverity_modeling.cpp

   1 // This file is a modeling file for coverity
   2
   3 namespace lyx {
   4
   5 // Tell coverity that this function always exits
   6 void doAssertWithCallstack(bool value)
   7 {
   8         if (!value) {
   9                  __coverity_panic__();
  10         }
  11 }
  12
  13 }