Synopsis

(Required) Pointer arithmetic shall not form an invalid pointer

Enabled by default

Yes

Severity/Certainty

High/High

Full description

This check only validates actual access, not the arithmetic operations. Array subscripts are checked on a per dimension basis so even if the memory access as such is valid this check will still output a message.

Coding standards

Code examples

The following code example fails the check and will give a warning:

void example() {
  int a[5][2] = {};
  a[3][2] = 0;  // Non-Compliant   
}

The following code example passes the check and will not give a warning about this issue:

void example() {
  int a[5][2] = {};
  a[4][0] = 0;      // Compliant   
}