question: private static synchronized void recordBottom ( RVMMethod m , RVMField f ) { if ( ! f . isPrivate ( ) ) { return ; } if ( isTrouble ( f ) ) { return ; } FieldDatabase . FieldDatabaseEntry entry = db . findOrCreateEntry ( f ) ; FieldDatabase . FieldWriterInfo info = entry . findMethodInfo ( m ) ; if ( VM . VerifyAssertions ) { if ( info == null ) { VM . sysWrite ( "ERROR recordBottom: method " + m + " field " + f ) ; } VM . _assert ( info != null ) ; } info . setBottom ( ) ; info . setAnalyzed ( ) ; }
target:  Records that a method writes an unknown concrete type to a field.