Clarification of Rule 17.4

[sparker]

According to the description of the rule 17.4:

Array indexing shall only be applied to objects defined as an array type.

.
Given this I do not understand why the following is allowed:

Code:

uint8_t a[10];
uint8_t *p;

p = a;
p[5] = 0; /* why is this compliant? */

There seems to be a bit of lax language here -- I assume the intent is more like "array indexing shall only be used to access objects of array type" (which you do in your example). So what matters is the object you access via the dereference, not the operand of the *.

Limiting the language so that a pointer cannot be used to access an array would be crippling. There wouldn't be a way of passing arrays into functions for example.


stephen