From 5eac6332c8b8e2f4288bacf6471548dffc4acdc9 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sun, 3 Feb 2019 02:37:59 +0000
Subject: [PATCH] Initialise all POD members of java_bytecode_languaget

They may get set to proper values in various places, but make sure they are
consistently initialised.
---
 jbmc/src/java_bytecode/java_bytecode_language.h | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/jbmc/src/java_bytecode/java_bytecode_language.h b/jbmc/src/java_bytecode/java_bytecode_language.h
index 1c77de93c8a..0a98d4244c0 100644
--- a/jbmc/src/java_bytecode/java_bytecode_language.h
+++ b/jbmc/src/java_bytecode/java_bytecode_language.h
@@ -112,12 +112,17 @@ class java_bytecode_languaget:public languaget
 
   virtual ~java_bytecode_languaget();
   java_bytecode_languaget(
-    std::unique_ptr<select_pointer_typet> pointer_type_selector):
+    std::unique_ptr<select_pointer_typet> pointer_type_selector)
+    : threading_support(false),
       assume_inputs_non_null(false),
       object_factory_parameters(),
       max_user_array_length(0),
       lazy_methods_mode(lazy_methods_modet::LAZY_METHODS_MODE_EAGER),
       string_refinement_enabled(false),
+      throw_runtime_exceptions(false),
+      assert_uncaught_exceptions(false),
+      throw_assertion_error(false),
+      nondet_static(false),
       pointer_type_selector(std::move(pointer_type_selector))
   {
   }