Use braced-init-lists

Author: jezhiggins

src/analyses/variable-sensitivity/variable_sensitivity_object_factory.cpp

@@ -152,20 +152,20 @@ abstract_object_pointert initialize_context_abstract_object(
 {
   if(top || bottom)
   {
-    return abstract_object_pointert(new context_classt(
-      abstract_object_pointert(new abstract_object_classt(type, top, bottom)),
+    return abstract_object_pointert(new context_classt{
+      abstract_object_pointert(new abstract_object_classt{type, top, bottom}),
       type,
       top,
-      bottom));
+      bottom});
   }
   else
   {
     PRECONDITION(type == ns.follow(e.type()));
-    return abstract_object_pointert(new context_classt(
-      abstract_object_pointert(new abstract_object_classt(e, environment, ns)),
+    return abstract_object_pointert(new context_classt{
+      abstract_object_pointert(new abstract_object_classt{e, environment, ns}),
       e,
       environment,
-      ns));
+      ns});
   }
 }
 
@@ -207,13 +207,13 @@ abstract_object_pointert initialize_abstract_object(
     if(top || bottom)
     {
       return abstract_object_pointert(
-        new abstract_object_classt(type, top, bottom));
+        new abstract_object_classt{type, top, bottom});
     }
     else
     {
       PRECONDITION(type == ns.follow(e.type()));
       return abstract_object_pointert(
-        new abstract_object_classt(e, environment, ns));
+        new abstract_object_classt{e, environment, ns});
     }
   }
 }

src/analyses/variable-sensitivity/variable_sensitivity_object_factory.h

@@ -73,11 +73,11 @@ struct vsd_configt
   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),
+    : 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}
   {
@@ -118,7 +118,7 @@ class variable_sensitivity_object_factoryt
   }
 
   explicit variable_sensitivity_object_factoryt(const vsd_configt &options)
-    : configuration(options)
+    : configuration{options}
   {
   }