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

[Brian Burkhalter]

> On Aug 7, 2020, at 9:39 AM, Brian Burkhalter <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