Merge pull request diffblue#1382 from pkesseli/bugfix/language-opaque-stubs

peterschrammel · web-flow · commit 69d05a978d66 · 2017-09-13T13:36:07.000+01:00
Add initial value to languaget::generate_opaque_stubs
diff --git a/src/util/language.h b/src/util/language.h
@@ -137,7 +137,7 @@ class languaget:public messaget
 
   static irep_idt get_stub_return_symbol_name(const irep_idt &function_id);
 
-  bool generate_opaque_stubs;
+  bool generate_opaque_stubs=false;
   bool language_options_initialized=false;
 
 private:
