-----Original Message-----
>From: Henri Verbeet <hverb...@gmail.com>
>Sent: Sep 20, 2009 12:19 PM
>To: Pauli Nieminen <suok...@gmail.com>
>Cc: wine-devel@winehq.org, Joris Huizer <joris_hui...@yahoo.com>
>Subject: Re: cppcheck Sept 18
>
>2009/9/20 Pauli Nieminen <suok...@gmail.com>
>>
>> On Sat, Sep 19, 2009 at 1:59 PM, Joris Huizer <joris_hui...@yahoo.com> wrote:
>>>
>>> [/home/cahrendt/wine-git/dlls/rpcrt4/tests/server.c:1189]: (possible
>>> error) Array index out of bounds
>>>
>>> This one is a false positive, it uses FIELD_OFFSET(cs_t, ca[5]),
>>> and it found an array:
>>> int ca[5];
>>>
>> int ca[5];
>> has only entries up to ca[4] (0-4) so to me it looks like bug.
>>
>Not quite. For one, the ca[5] that's being used here isn't the local
>variable ca[5], but the field ca[1] of the cs_t structure. The
>expression is used as a way to calculate the size of a cs_t structure
>with 5 elements.
>
But what is the real size of ca[]?  Is it five, fifty or five-hundred?  Maybe 
that is why the cppcheck is declaring it out-of-bounds.

James McKenzie




Reply via email to