[pulseaudio-discuss] Enabling automatic coverity scans for pulseaudio via travis

[Felipe Sateler]

On 11 September 2015 at 04:14, Peter Meerwald <pmeerw at pmeerw.net> wrote:
>
>
> > > 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,

I do not have permission to see that page.

> 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)

My guess is that the model is not getting picked up because
pa_asser_se is a macro that expands a lot like assert, and thus
coverity thinks it can be optimized away.


-- 

Saludos,
Felipe Sateler