Apply clang-format

Author: jezhiggins

regression/goto-analyzer/flow-insensitive-function-call-recursive/main.c

@@ -16,5 +16,7 @@ int fun(int other)
 int main(int argc, char *argv[])
 {
   int z = fun(0);
-  assert(z == 0); // Unknown as flow-insensitive fails to stop the recursive case being explored
+  assert(
+    z ==
+    0); // Unknown as flow-insensitive fails to stop the recursive case being explored
 }

src/analyses/variable-sensitivity/variable_sensitivity_configuration.cpp

@@ -50,7 +50,8 @@ vsd_configt vsd_configt::from_options(const optionst &options)
     options.get_bool_option("new-value-set");
 
   config.flow_sensitivity = (options.get_bool_option("flow-insensitive"))
-    ? flow_sensitivityt::insensitive : flow_sensitivityt::sensitive;
+                              ? flow_sensitivityt::insensitive
+                              : flow_sensitivityt::sensitive;
 
   return config;
 }

src/analyses/variable-sensitivity/variable_sensitivity_configuration.h

@@ -30,7 +30,8 @@ enum ABSTRACT_OBJECT_TYPET
   VALUE_SET
 };
 
-enum class flow_sensitivityt {
+enum class flow_sensitivityt
+{
   sensitive,
   insensitive
 };

src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.cpp

@@ -615,7 +615,7 @@ class variable_sensitivity_dependence_domain_factoryt
   explicit variable_sensitivity_dependence_domain_factoryt(
     variable_sensitivity_dependence_grapht &_dg,
     variable_sensitivity_object_factory_ptrt _object_factory,
-    const vsd_configt& _configuration)
+    const vsd_configt &_configuration)
     : dg(_dg), object_factory(_object_factory), configuration(_configuration)
   {
   }
@@ -641,7 +641,7 @@ variable_sensitivity_dependence_grapht::variable_sensitivity_dependence_grapht(
   const goto_functionst &goto_functions,
   const namespacet &_ns,
   variable_sensitivity_object_factory_ptrt object_factory,
-  const vsd_configt& configuration)
+  const vsd_configt &configuration)
   : ai_three_way_merget(
       util_make_unique<ai_history_factory_default_constructort<ahistoricalt>>(),
       util_make_unique<variable_sensitivity_dependence_domain_factoryt>(

src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.h

@@ -77,7 +77,7 @@ class variable_sensitivity_dependence_domaint
   explicit variable_sensitivity_dependence_domaint(
     node_indext id,
     variable_sensitivity_object_factory_ptrt object_factory,
-    const vsd_configt& configuration)
+    const vsd_configt &configuration)
     : variable_sensitivity_domaint(object_factory, configuration),
       node_id(id),
       has_values(false),
@@ -245,7 +245,7 @@ class variable_sensitivity_dependence_grapht : public ai_three_way_merget,
     const goto_functionst &goto_functions,
     const namespacet &_ns,
     variable_sensitivity_object_factory_ptrt object_factory,
-    const vsd_configt& _configuration);
+    const vsd_configt &_configuration);
 
   void
   initialize(const irep_idt &function_id, const goto_programt &goto_program)

src/analyses/variable-sensitivity/variable_sensitivity_domain.h

@@ -77,7 +77,7 @@ class variable_sensitivity_domaint : public ai_domain_baset
 public:
   explicit variable_sensitivity_domaint(
     variable_sensitivity_object_factory_ptrt _object_factory,
-    const vsd_configt& _configuration)
+    const vsd_configt &_configuration)
     : abstract_state(_object_factory),
       flow_sensitivity(_configuration.flow_sensitivity)
   {
@@ -228,14 +228,15 @@ class variable_sensitivity_domain_factoryt
 public:
   explicit variable_sensitivity_domain_factoryt(
     variable_sensitivity_object_factory_ptrt _object_factory,
-    const vsd_configt& _configuration)
+    const vsd_configt &_configuration)
     : object_factory(_object_factory), configuration(_configuration)
   {
   }
 
   std::unique_ptr<statet> make(locationt l) const override
   {
-    auto d = util_make_unique<variable_sensitivity_domaint>(object_factory, configuration);
+    auto d = util_make_unique<variable_sensitivity_domaint>(
+      object_factory, configuration);
     CHECK_RETURN(d->is_bottom());
     return std::unique_ptr<statet>(d.release());
   }

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -1067,7 +1067,5 @@ void vsd_options(optionst &options, const cmdlinet &cmdline)
   options.set_option("arrays", cmdline.get_value("vsd-arrays"));
   options.set_option("structs", cmdline.get_value("vsd-structs"));
   options.set_option("unions", cmdline.get_value("vsd-unions"));
-  options.set_option("flow-insensitive",
-                     cmdline.isset("vsd-flow-insensitive"));
+  options.set_option("flow-insensitive", cmdline.isset("vsd-flow-insensitive"));
 }
-