[FFmpeg-devel] Coverity

[Aurelien Jacobs]

On Mon, 02 Jun 2008 17:04:18 -0700
Baptiste Coudurier <baptiste.coudurier at smartjog.com> wrote:

> Hi Aurel,
> 
> Aurelien Jacobs wrote:
> > On Sat, 31 May 2008 23:39:53 +0200
> > Aurelien Jacobs <aurel at gnuage.org> wrote:
> > 
> >> On Sat, 31 May 2008 22:27:51 +0200
> >> Reimar D?ffinger <Reimar.Doeffinger at stud.uni-karlsruhe.de> wrote:
> >>
> >>> On Sat, May 31, 2008 at 06:57:16PM +0200, Aurelien Jacobs wrote:
> >>>> On Fri, 30 May 2008 17:25:20 +0100
> >>>> M?ns Rullg?rd <mans at mansr.com> wrote:
> >>>>> Aurelien Jacobs <aurel at gnuage.org> writes:
> >>>>>> On Fri, 30 May 2008 03:09:24 +0200
> >>>>>> Diego Biurrun <diego at biurrun.de> wrote:
> >>>>>>> On Thu, May 29, 2008 at 11:33:44PM +0200, Diego Biurrun wrote:
> >>>>>>>> Apparently some Coverity people are at LinuxTag, maybe you can get one
> >>>>>>>> of the LinuxTag attendees to talk to them.
> >>>>>>> Ok, I mailed one of the coverity people.  Developers with accounts can
> >>>>>>> ask for other developers to be added.  Aurelien, what username do you
> >>>>>>> want?
> >>>>>> aurel would be fine. Thanks.
> >>>>> Account added.  You should be getting an email with your login
> >>>>> details.
> >>>> Unfortunately I still haven't received any login :-(
> >>>> Anyway, if I can't get a login, I can still work on the various
> >>>> matroska issues if someone send me a copy/paste of the coverity
> >>>> report (either on or off list).
> >>> Copy & paste is difficult, but I will give a quick summary at least.
> >>> I think coverity would prefer if you did not publish that, at least that
> >>> was my impression when I talked to them last time, whyever...
> >>>
> >>> [... some coerity reports ...]
> >> Thanks Reimar.
> >> I will have a look at this.
> > 
> > I've fixed CID44 and CID120.
> > CID134 and CID135 are either fixed or invalid (the report is not very clear).
> > CID56 is clearly invalid.
> > 
> > Someone with a coverity account may want to close those issues.
> > 
> 
> It seems reg tests fail here:
> 
> ./ffmpeg_g -y -flags +bitexact -dct fastint -idct simple -i
> ./tests/data/b-libav.mkv -f crc ./tests/data/mkv.lavf.crc
> /home/bcouduri/src/ffmpeg/svn/tests/regression.sh: line 86:  7114
> Floating point exception$ffmpeg $FFMPEG_OPTS $* -f crc "$crcfile" >
> /tmp/ffmpeg$$ 2>&1
> 
> Any problem on your side ?

Oops... Indeed, I see the same problem. Sorry.
It's a bit late right now, so I will have a look at it tomorrow.
Thanks for the report.

Aurel