libgcj/10009: StringBuffer.getChars broken

[pifpafpuf@gmx.de]

>Number:         10009
>Category:       libgcj
>Synopsis:       StringBuffer.getChars broken
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Mar 09 17:16:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     pifpafpuf@gmx.de
>Release:        gcj-3.2 (debian 1:3.2.1ds2-0pre3)
>Organization:
>Environment:
Linux
>Description:
The following throws an expection about index out of range
but should not.

public class Gbug {
  public static void main(String argv[]) {
    char ary[] = new char[10];
    StringBuffer sb = new StringBuffer("abc");
    sb.getChars(0, sb.length(), ary, 7);
  }
}
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: