Merge pull request diffblue#1561 from NathanJPhillips/bugfix/erroneous-replacement

Typo in reachable

Author: Daniel Kroening

src/java_bytecode/ci_lazy_methods.cpp

@@ -33,7 +33,7 @@ ci_lazy_methodst::ci_lazy_methodst(
     java_class_loader(java_class_loader),
     pointer_type_selector(pointer_type_selector)
 {
-  // build the class hierarclass_hierarchyy
+  // build the class hierarchy
   class_hierarchy(symbol_table);
 }
 
@@ -65,13 +65,13 @@ bool ci_lazy_methodst::operator()(
   if(main_function.stop_convert)
   {
     // Failed, mark all functions in the given main class(es)
-    // reaclass_hierarchyable.
-    std::vector<irep_idt> reaclass_hierarchyable_classes;
+    // reachable.
+    std::vector<irep_idt> reachable_classes;
     if(!main_class.empty())
-      reaclass_hierarchyable_classes.push_back(main_class);
+      reachable_classes.push_back(main_class);
     else
-      reaclass_hierarchyable_classes=main_jar_classes;
-    for(const auto &classname : reaclass_hierarchyable_classes)
+      reachable_classes = main_jar_classes;
+    for(const auto &classname : reachable_classes)
     {
       const auto &methods=
         java_class_loader.class_map.at(classname).parsed_class.methods;
@@ -190,8 +190,7 @@ bool ci_lazy_methodst::operator()(
 
   debug() << "CI lazy methods: removed "
           << symbol_table.symbols.size() - keep_symbols.symbols.size()
-          << " unreaclass_hierarchyable methods and globals"
-          << eom;
+          << " unreachable methods and globals" << eom;
 
   symbol_table.swap(keep_symbols);