False positive: Array access out of bounds

[Aleksander Zdunek]

I get this error output when when running following minimal test program through cppcheck (2.9). I think this is incorrect.

Checking test.c ...
test.c:6:23: error: Array 's[2]' accessed at index 2, which is out of bounds. [arrayIndexOutOfBounds]
        printf("%c", s[i]);
                      ^

test.c:

#include <stdio.h>

void fun(const char *s)
{
    for(int i = 0; s[i]; ++i)
        printf("%c", s[i]);
}

int main()
{
    fun("abc");
    fun("a");
    return 0;
}

If I swap the order of the two fun() calls in main(), or reduce the length difference between the passed strings to one character, I do not get the error.

[CHR]

Thanks for reporting. It looks like this has been fixed in head.