[sv-bc] Mantis 1067 (out-of-bounds access to arrays)

hi BC, EC,

I have finally found time to pick up the tweaking of Mantis 1067, which
has been outstanding for a long while. There's a new proposal
("1067-proposal-v2.pdf") which I hope deals with the many issues raised
by Shalom's analysis. I don't know if there is sufficient time or
bandwidth to consider it for the current PAR. I think it would be good
to get these LRM details cleared up for what is a rather fundamental
part of the language, even though everyone seems basically to be agreed
about the intent.

There was some uncertainty about whether this was a BC or EC issue,
hence the mail to both committees.

Regards
Jonathan Bromley

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.