Initialize states of analyses to bottom

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

Author: FrNecas

src/ssa/dynobj_instance_analysis.cpp

@@ -262,3 +262,10 @@ void dynobj_instance_domaint::output(
     out << "\n";
   }
 }
+
+void dynobj_instance_analysist::initialize(const irep_idt &function_id,
+                                           const goto_programt &goto_program)
+{
+  forall_goto_program_instructions(i_it, goto_program)
+    get_state(i_it).make_bottom();
+}

src/ssa/dynobj_instance_analysis.h

@@ -226,6 +226,9 @@ class dynobj_instance_analysist:public ait<dynobj_instance_domaint>
 protected:
   const optionst &options;
   ssa_value_ait &value_analysis;
+  void initialize(
+    const irep_idt &function_id,
+    const goto_programt &goto_program) override;
 
   friend class dynobj_instance_domaint;
 };

src/ssa/ssa_domain.cpp

@@ -234,6 +234,8 @@ void ssa_ait::initialize(
   const goto_functionst::goto_functiont &goto_function)
 {
   ait<ssa_domaint>::initialize(function_id, goto_function);
+  forall_goto_program_instructions(i_it, goto_function.body)
+    get_state(i_it).make_bottom();
 
   // Make entry instruction have a source for the all objects.
 

src/ssa/ssa_value_set.cpp

@@ -622,6 +622,8 @@ void ssa_value_ait::initialize(
   const goto_functionst::goto_functiont &goto_function)
 {
   ait<ssa_value_domaint>::initialize(function_id, goto_function);
+  forall_goto_program_instructions(i_it, goto_function.body)
+    get_state(i_it).make_bottom();
 
   // Initialize value sets for pointer parameters