wimboot/wimboot-2.7.3/src/coverity-model.c

   1 /*
   2  * Coverity modelling file
   3  *
   4  */
   5
   6 typedef unsigned short wchar_t;
   7 typedef void mbstate_t;
   8
   9 /* Inhibit use of built-in models for functions where Coverity's
  10  * assumptions about the modelled function are incorrect for wimboot.
  11  */
  12 int getchar ( void ) {
  13 }
  14 size_t wcrtomb ( char *buf, wchar_t wc, mbstate_t *ps ) {
  15 }