Message        <Context> accessing the address of an array element
                that is exactly one beyond the end of the array might
                not be what you intended.

 Description    Accessing the address of an array element that is
                exactly one beyond the end of the array might be a
                coding error (e.g.  if the address is then used to
                access memory), or it might be fully correct (e.g.
                to compute a pointer value to be used as the upper
                bound on a loop).

 User Action    Specify an array addressthat is within the bounds of
                the array type.