153a5a1b3Sopenharmony_ci/* Coverity Scan model 253a5a1b3Sopenharmony_ci * Copyright (C) 2017 Peter Meerwald-Stadler <pmeerw@pmeerw.net> 353a5a1b3Sopenharmony_ci * 453a5a1b3Sopenharmony_ci * This is a modeling file for Coverity Scan which helps to avoid false 553a5a1b3Sopenharmony_ci * positives and increase scanning accuracy by explaining code Coverity 653a5a1b3Sopenharmony_ci * can't see (out of tree libraries); the model file must be uploaded by 753a5a1b3Sopenharmony_ci * an admin to: 853a5a1b3Sopenharmony_ci * https://scan.coverity.com/projects/pulseaudio?tab=analysis_settings 953a5a1b3Sopenharmony_ci */ 1053a5a1b3Sopenharmony_ci 1153a5a1b3Sopenharmony_civoid fail(void) { 1253a5a1b3Sopenharmony_ci __coverity_panic__(); 1353a5a1b3Sopenharmony_ci} 1453a5a1b3Sopenharmony_ci 1553a5a1b3Sopenharmony_civoid fail_unless(int x) { 1653a5a1b3Sopenharmony_ci if (!x) 1753a5a1b3Sopenharmony_ci __coverity_panic__(); 1853a5a1b3Sopenharmony_ci} 19