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