Merge pull request #4049 from tautschnig/java-options-init

Move languaget::language_options_initialized to java_bytecode_languaget

Author: tautschnig

jbmc/src/java_bytecode/java_bytecode_language.h

@@ -113,7 +113,8 @@ class java_bytecode_languaget:public languaget
   virtual ~java_bytecode_languaget();
   java_bytecode_languaget(
     std::unique_ptr<select_pointer_typet> pointer_type_selector)
-    : threading_support(false),
+    : language_options_initialized(false),
+      threading_support(false),
       assume_inputs_non_null(false),
       object_factory_parameters(),
       max_user_array_length(0),
@@ -179,6 +180,7 @@ class java_bytecode_languaget:public languaget
   bool do_ci_lazy_method_conversion(symbol_tablet &);
   const select_pointer_typet &get_pointer_type_selector() const;
 
+  bool language_options_initialized;
   irep_idt main_class;
   std::vector<irep_idt> main_jar_classes;
   java_class_loadert java_class_loader;

src/langapi/language.h

@@ -184,9 +184,6 @@ class languaget:public messaget
 
   languaget() { }
   virtual ~languaget() { }
-
-protected:
-  bool language_options_initialized=false;
 };
 
 #endif // CPROVER_UTIL_LANGUAGE_H