vsd_configt default constructor

Author: jezhiggins

src/analyses/variable-sensitivity/variable_sensitivity_object_factory.h

@@ -72,6 +72,17 @@ struct vsd_configt
   static vsd_configt value_set();
   static vsd_configt intervals();
 
+  vsd_configt() :
+    value_abstract_type(CONSTANT),
+    pointer_abstract_type(POINTER_INSENSITIVE),
+    struct_abstract_type(STRUCT_INSENSITIVE),
+    array_abstract_type(ARRAY_INSENSITIVE),
+    union_abstract_type(UNION_INSENSITIVE),
+    context_tracking { false, true },
+    advanced_sensitivities { false }
+  {
+  }
+
 private:
   using option_mappingt = std::map<std::string, ABSTRACT_OBJECT_TYPET>;