Initialize values to bottom

Signed-off-by: František Nečas <[email protected]>

Author: FrNecas

src/ssa/dynobj_instance_analysis.h

@@ -144,6 +144,8 @@ class must_alias_setst
 class dynobj_instance_domaint:public ai_domain_baset
 {
 public:
+  dynobj_instance_domaint(): has_values(false) {}
+
   // Must-alias relation for each dynamic object (corresponding to allocation
   // site).
   std::map<symbol_exprt, must_alias_setst> must_alias_relations;

src/ssa/may_alias_analysis.h

@@ -20,6 +20,8 @@ Author: Viktor Malik, [email protected]
 class may_alias_domaint:public ai_domain_baset
 {
 public:
+  may_alias_domaint(): has_values(false) {};
+
   void transform(
     const irep_idt &,
     locationt from,

src/ssa/ssa_domain.h

@@ -20,6 +20,8 @@ Author: Daniel Kroening, [email protected]
 class ssa_domaint:public ai_domain_baset
 {
 public:
+  ssa_domaint(): has_values(false) {}
+
   // sources for identifiers
   struct deft
   {

src/ssa/ssa_value_set.h

@@ -21,6 +21,8 @@ Author: Daniel Kroening, [email protected]
 class ssa_value_domaint:public ai_domain_baset
 {
 public:
+  ssa_value_domaint(): has_values(false) {}
+
   void transform(
     const irep_idt &,
     locationt,
@@ -100,7 +102,7 @@ class ssa_value_domaint:public ai_domain_baset
   typedef std::map<ssa_objectt, valuest> value_mapt;
   value_mapt value_map;
 
-  bool competition_mode;
+  bool competition_mode=false;
 
   const valuest operator()(
     const exprt &src,