(j3.2006) Comment 2 from TS Ballot

[Bader, Reinhold]

Answering my own response ...

If we have these additional words, we might as well drop references to 
pointer arithmetic:

"If a formal parameter that is a pointer to CFI_cdesc_t corresponds to a dummy
argument in an interoperable procedure interface, indirection on a
pointer that is a valid address within the C object starting at base_addr
 is allowed if and only if the value of that pointer can be obtained 
by applying the function CFI_address (8.3.5.2) to the object or a subobject of it."


> 
> "If a formal parameter that is a pointer to CFI_cdesc_t corresponds to a dummy
> argument in an interoperable procedure interface, indirection on a
> pointer derived from its base_addr member by pointer arithmetic that is
> a valid address within the C object starting at base_addr
>  is allowed if and only if the value of that pointer can be obtained
> by applying the function CFI_address (8.3.5.2) to the object or a subobject of it."
>