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
