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