Give default value to boolean fields

romainbrenguier · Petr Bauch · commit e23d2166886a · 2018-11-08T14:08:54.000Z
Boolean fields are not initialized by default.
diff --git a/jbmc/src/java_bytecode/java_bytecode_parse_tree.h b/jbmc/src/java_bytecode/java_bytecode_parse_tree.h
@@ -86,7 +86,8 @@ struct java_bytecode_parse_treet
   struct methodt : public membert
   {
     irep_idt base_name;
-    bool is_native, is_abstract, is_synchronized, is_bridge, is_varargs;
+    bool is_native = false, is_abstract = false, is_synchronized = false,
+         is_bridge = false, is_varargs = false;
     source_locationt source_location;
 
     typedef std::vector<instructiont> instructionst;

Original file line number	Diff line number	Diff line change
`@@ -86,7 +86,8 @@ struct java_bytecode_parse_treet`
`86`	`86`	`struct methodt : public membert`
`87`	`87`	`{`
`88`	`88`	`irep_idt base_name;`
`89`		`- bool is_native, is_abstract, is_synchronized, is_bridge, is_varargs;`
	`89`	`+ bool is_native = false, is_abstract = false, is_synchronized = false,`
	`90`	`+ is_bridge = false, is_varargs = false;`
`90`	`91`	`source_locationt source_location;`
`91`	`92`
`92`	`93`	`typedef std::vector<instructiont> instructionst;`