mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-11-03 09:01:50 -05:00
424e97a5fa
the modeling file help 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 the pa_assert_se() macro needs to be rewritten for Coverity so that the assignment is not declared a side-effect Signed-off-by: Peter Meerwald-Stadler <pmeerw@pmeerw.net>
18 lines
517 B
C
18 lines
517 B
C
/* 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__();
|
|
}
|