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

Reply via email to