GCJ now generate type assertions when compiling from bytecode, but not when compiling from source code.
The source front-end needs to be updated to call add_type_assertion() when implicit type conversions occur. -- Summary: BC: Source compiler doesn't generate type assertions Product: gcc Version: 4.0.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: java AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: mckinlay at redhat dot com CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18377