RFR: 8245036: DataInputStream.readFully(byte[], int, int) does not throw expected IndexOutOfBoundsExceptions

[Raffaello Giulietti]

Thanks Brian for pushing

On 2020-08-07 23:12, Brian Burkhalter wrote:
> 
>> On Aug 7, 2020, at 9:39 AM, Brian Burkhalter 
>> <brian.burkhalter at oracle.com <mailto:brian.burkhalter at oracle.com>> wrote:
>>
>>> There's one corner case that would not pass, however, so I added 
>>> testNegativeOffsetZeroLength() to exercise that. It passes on the new 
>>> source but fails on the old.
>>>
>>> I also added two additional corner cases for too large combinations 
>>> of offset and length.
>>
>> This patch looks good. I am running it through our CI tests but I 
>> don’t expect to see any problems. If the test run succeeds aside from 
>> any failures unrelated to this code then I can push this.
> 
> Pushed http://hg.openjdk.java.net/jdk/jdk/rev/29212f925331.
> 
> Thanks,
> 
> Brian