According to the ArrayStore.java test case, bounds checks should take precedence over array store checks. However, expand_java_arraystore clearly does it in the wrong order:
if (TREE_CODE (rhs_type_node) == POINTER_TYPE) { tree check = build_java_arraystore_check (array, rhs_node); java_add_stmt (check); } array = build_java_arrayaccess (array, rhs_type_node, index); -- Summary: incorrect implementation of expand_java_arraystore Product: gcc Version: 4.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: java AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: tromey at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28090