3.1.1.5.3.3.1.2 Unique or Full Pointer to Conformant Array Consistency Check

A conformant array or conformant and varying string correlated with another parameter or field can be referred by a unique pointer or full pointer. While it is allowed to have a nonzero correlated value with a NULL pointer (as specified in [C706] section 14.3.10), implementations of these extensions SHOULD indicate the octet stream as invalid if all of the following conditions are met:

  • Correlated value evaluates to be nonzero.

  • The unique or full pointer that refers to the conformant array or conformant and varying string is NULL (0).

  • The conformant array or conformant and varying string does not have the disable_consistency_check attribute as specified in section 2.2.4.17.<68>