coverity/model.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

/* Coverity Scan model
 * Copyright (C) 2017 Peter Meerwald-Stadler <pmeerw@pmeerw.net>
 *
 * This is a modeling file for Coverity Scan which helps to avoid false
 * positives and increase scanning accuracy by explaining code Coverity
 * can't see (out of tree libraries); the model file must be uploaded by
 * an admin to:
 * https://scan.coverity.com/projects/pulseaudio?tab=analysis_settings
 */

void fail(void) {
    __coverity_panic__();
}

void fail_unless(int x) {
    if (!x)
        __coverity_panic__();
}