...
It is acceptable to compare two member pointers within a single struct object, suitably cast, because any object can be treated as an array of unsigned char.
...
Noncompliant Code Example
In this non-compliant noncompliant code example pointer subtraction is used to determine how many free elements are left in the nums array.
...