coverity/model.c

   1 /* Coverity Scan model
   2  * Copyright (C) 2017 Peter Meerwald-Stadler <pmeerw@pmeerw.net>
   3  *
   4  * This is a modeling file for Coverity Scan which helps to avoid false
   5  * positives and increase scanning accuracy by explaining code Coverity
   6  * can't see (out of tree libraries); the model file must be uploaded by
   7  * an admin to:
   8  * https://scan.coverity.com/projects/pulseaudio?tab=analysis_settings
   9  */
  10
  11 void fail(void) {
  12     __coverity_panic__();
  13 }
  14
  15 void fail_unless(int x) {
  16     if (!x)
  17         __coverity_panic__();
  18 }