On 10/20/2015 10:57 AM, Joseph Myers wrote:
> On Tue, 20 Oct 2015, Martin Sebor wrote:
>
>>    An array subscript is out of range, even if an object is apparently
>>    accessible with the given subscript (as in the lvalue expression
>>    a[1][7] given the declaration int a[4][5]) (6.5.6).
>
> Just-past-the-end is only out of range if the dereference is executed, not
> in the &array[size] case which is equivalent to array + size.

Okay, I agree that this less restrictive interpretation of just
past the end subscripts makes sense and also allows for a simpler
implementation of the solution.

Attached is a patch incorporating Bernd's change and updates to
the test reflecting what has been discussed, retested by boot-
strapping and running the tests on x86_64.

Martin