hg: jdk/sandbox: 8245036: DataInputStream.readFully(byte[], int, int) does not throw expected IndexOutOfBoundsExceptions

[chris.hegarty at oracle.com]

Changeset: 29212f925331
Author:    bpb
Date:      2020-08-07 12:58 -0700
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/29212f925331

8245036: DataInputStream.readFully(byte[], int, int) does not throw expected IndexOutOfBoundsExceptions
Reviewed-by: bpb
Contributed-by: Raffaello Giulietti <raffaello.giulietti at gmail.com>

! src/java.base/share/classes/java/io/DataInputStream.java
! test/jdk/java/io/DataInputStream/ReadFully.java