From 444f2564cb09155d8a5e0bcddbf399e080eb2248 Mon Sep 17 00:00:00 2001 From: Pascal Kesseli Date: Wed, 13 Sep 2017 13:39:34 +0200 Subject: [PATCH] Add initial value to languaget::generate_opaque_stubs The bool member languaget::generate_opaque_stubs does not receive an initial value, and not all contexts using languaget call its setter. Valgrind thus detects a jump based on an uninitialised value. Added explicit initial value `false`. --- src/util/language.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/language.h b/src/util/language.h index 1b020e03685..ebe10bba1a8 100644 --- 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: