[FFmpeg-devel] Coverity

[Baptiste Coudurier]

Hi Aurelien,

Aurelien Jacobs wrote:
> On Tue, 3 Jun 2008 02:32:15 +0200
> Aurelien Jacobs <aurel at gnuage.org> wrote:
> 
>> 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.
> 
> Fixed. It was caused by r13601.
> Now regression test fails in a way which may interest you:
> 
> -322d59758fe9446147223a607d1699bc *./tests/data/b-libav.ts
> +447b005e527cf495ec13092e788f028d *./tests/data/b-libav.ts
> 

Thanks a lot,

Yes, fixed.

-- 
Baptiste COUDURIER                              GnuPG Key Id: 0x5C1ABAAA
Smartjog USA Inc.                                http://www.smartjog.com
Key fingerprint                 8D77134D20CC9220201FC5DB0AC9325C5C1ABAAA