> > somehow the last scan completed now, just FYI > > And it is riddled with false positives about side effects in assert. > Is it possible to teach coverity that pa_assert_se always executes the > side effects? under https://scan.coverity.com/projects/pulseaudio?tab=analysis_settings you can upload a modeling file, currently void fail(void) { __coverity_panic__(); } void pa_assert_se(int x) { if (!x) __coverity_panic__(); } it seems to ignore the hint for pa_assert_se() (or it is wrong) regards, p. -- Peter Meerwald +43-664-2444418 (mobile)
