False positive: Array 'src[8]' accessed at index 127, which is out of bounds.

[Dotan Barak]

Cppcheck 2.10 emits the following (false?) errors on the following code:
[test.cpp:11]: (error) Array 'src[8]' accessed at index 127, which is out of bounds.
[test.cpp:12]: (error) Array 'src[8]' accessed at index 127, which is out of bounds.

It is worth mentioning, that when i moved the loop from the function to main, everything was ok..

#include <stdarg.h>

#define BUFFER_SIZE 128

static void
my_strncpy(char *dst, const char *src, size_t n)
{
        size_t i;

        for (i = 0; i < n; i++) {
                dst[i] = src[i];
                if (src[i] == '\0')
                        break;
        }
}

int main()
{
        char buffer[BUFFER_SIZE + 1];

        my_strncpy(buffer, "Example", BUFFER_SIZE);

        return 0;
}

Thanks!

[CHR]

I can't reproduce this with the provided code.

[Dotan Barak]

Hi.

Thank you very much for the fast response, i forgot to write the first 2 lines.
I updated the original message and verified with the online client of cppcheck that it complains about the problem.

Sorry
Dotan

[CHR]

Thanks for the update, ticket is here: https://trac.cppcheck.net/ticket/11580

[Dotan Barak]

Thanks for the fast response.
:)

BTW, is this issue fixed now?
I cloned the cppcheck repository and i still see this issue...