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

[Felipe Sateler]

On 10 September 2015 at 03:27, Peter Meerwald <pmeerw at pmeerw.net> wrote:
>
>
> > >> Thanks! It looks like the Travis/Coverity stuff needs to be based on
> > >> the Github project (and just switching the one based on fd.o might not
> > >> work).
>
> > This started working now (I just set up the API key yet again), so I
> > think we're good to go, soon. The final commit looks something like
> > this, and I'll push it out post freeze:
> >
> > https://github.com/ford-prefect/pulseaudio/commit/67f372a6d983c39b0b8afb0a3a7b50315214f040
>
> I started a Coverity scan a couple of days ago; it seemed to hang/build
> for days and I (tried to) notify scan-admin at coverity about the issue
>
> 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?


Saludos