On Jan 1, 2021, at 6:41 PM, Alexandre Oliva <ol...@adacore.com> wrote:
>
> On Jan 1, 2021, Mike Stump <mikest...@comcast.net> wrote:
>
>> On Jan 1, 2021, at 3:37 PM, Alexandre Oliva <ol...@adacore.com> wrote:
>>>
>>> On Dec 29, 2020, Mike Stump <mikest...@comcast.net> wrote:
>>>
>>>> a[i-1] = i;
>>>
>>> 'fraid that won't pass:
>>>
>>> for (int i = 0; i < n; i++) {
>>> assert (a[i] == i);
>>> }
>
>> Ok, how about your version with the comment updated?
>
> Err, are we talking about the same testcase?
> There aren't any comments in this one.
Oh, It's possible the comments were stripped from the bug report or initial
email. Never mind then about the comment part.
