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 fail(void)11void fail(void) { 12 __coverity_panic__(); 13 } 14 fail_unless(int x)15void fail_unless(int x) { 16 if (!x) 17 __coverity_panic__(); 18 } 19