cppcheck Sept 18

Henri Verbeet hverbeet at gmail.com
Sun Sep 20 14:19:52 CDT 2009


2009/9/20 Pauli Nieminen <suokkos at gmail.com>
>
> On Sat, Sep 19, 2009 at 1:59 PM, Joris Huizer <joris_huizer at 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.



More information about the wine-devel mailing list