We must go through the JVM Spec and ensure that all required constraints on class loading, linking, and verification are followed; and that in particular the required exceptions are thrown. This audit should take the form of a VM test suite. We must test loading bytecode, as well as compiling bytecode with the BC ABI and then loading it via the .db.
-- Summary: class loading and verifier audit Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: libgcj AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: tromey at gcc dot gnu dot org CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu dot org OtherBugsDependingO 13603 nThis: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21893