CCS gives a false positive (MISRA-C:2004 17.4/R) Array indexing shall be the only allowed form of pointer arithmetic

I'm having false positives while using pointers and using array indexing. I looked if my interpretation was incorrect, and then found this topic in the MISRA forums:

www.misra.org.uk/.../viewtopic.php

I reproduced the exact example, and yes, I'm having false positives for that:

void myFunction(void) {
static uint16_t a[10];
uint16_t *p;

p = a;
p[5] = 0u; /* #1476-D (MISRA-C:2004 17.4/R) Array indexing shall be the only allowed form of pointer arithmetic */
}