false negative: array index out of bounds issue not displayed during variable declaration with comma operator

Cppcheck does not report all array index overruns, in case two overruns happen during a variable declaration, seperated by a comma:

typedef struct {
 long m[9];
} S;

void f(const S *s)
{
  long a=s->m[9], b=s->m[9];
  long c=s->m[9];
}

Only the case a=s->m[9] and c=s->m[9] is reported and b=s->m[9] is missing.

$ cppcheck --enable=all --debug arrayIndexOutOfBounds.cpp 
Checking arrayIndexOutOfBounds.cpp...
[arrayIndexOutOfBounds.cpp:7]: (style) Variable 'a' is assigned a value that is never used.
[arrayIndexOutOfBounds.cpp:7]: (style) Variable 'b' is assigned a value that is never used.
[arrayIndexOutOfBounds.cpp:8]: (style) Variable 'c' is assigned a value that is never used.


##file arrayIndexOutOfBounds.cpp
1: struct S {
2: long m@1 [ 9 ] ;
3: } ;
4:
5: void f ( const struct S * s@2 )
6: {
7: long a@3 ; a@3 = s@2 . m@4 [ 9 ] ; long b@5 ; b@5 = s@2 . m@4 [ 9 ] ;
8: long c@6 ; c@6 = s@2 . m@4 [ 9 ] ;
9: }



##AST
 m 9 [
 f S s * (
 a s m . 9 [ =
 b s m . 9 [ =
 c s m . 9 [ =


##Value flow
Line 2
  9:{9}
Line 7
  9:{9}
  9:{9}
Line 8
  9:{9}
[arrayIndexOutOfBounds.cpp:7]: (error) Array 's.m[9]' accessed at index 9, which is out of bounds.
[arrayIndexOutOfBounds.cpp:8]: (error) Array 's.m[9]' accessed at index 9, which is out of bounds.
[arrayIndexOutOfBounds.cpp:5]: (style) The function 'f' is never used.