Clang format

Author: jezhiggins

regression/goto-analyzer/simple-union-access/test.desc

@@ -3,13 +3,13 @@ union.c
 --variable-sensitivity --vsd --verify
 ^EXIT=0$
 ^SIGNAL=0$
-^\[main.assertion.1\] line 14 x.a==0: UNKNOWN$
-^\[main.assertion.2\] line 15 x.a==1: UNKNOWN$
-^\[main.assertion.3\] line 16 x.b==0: UNKNOWN$
-^\[main.assertion.4\] line 17 x.b==1: UNKNOWN$
-^\[main.assertion.5\] line 20 x.a==0: UNKNOWN$
-^\[main.assertion.6\] line 21 x.a==1: UNKNOWN$
-^\[main.assertion.7\] line 22 x.b==0: UNKNOWN$
-^\[main.assertion.8\] line 23 x.b==1: UNKNOWN$
+^\[main.assertion.1\] line 13 x.a==0: UNKNOWN$
+^\[main.assertion.2\] line 14 x.a==1: UNKNOWN$
+^\[main.assertion.3\] line 15 x.b==0: UNKNOWN$
+^\[main.assertion.4\] line 16 x.b==1: UNKNOWN$
+^\[main.assertion.5\] line 19 x.a==0: UNKNOWN$
+^\[main.assertion.6\] line 20 x.a==1: UNKNOWN$
+^\[main.assertion.7\] line 21 x.b==0: UNKNOWN$
+^\[main.assertion.8\] line 22 x.b==1: UNKNOWN$
 --
 ^warning: ignoring

regression/goto-analyzer/simple-union-access/union.c

@@ -3,8 +3,7 @@
 int main(int argc, char *argv[])
 {
   // Test if we can represent constant structs
-  union union_struct
-  {
+  union union_struct {
     int a;
     int b;
   };

src/analyses/variable-sensitivity/abstract_enviroment.cpp

@@ -56,16 +56,15 @@ abstract_environmentt::eval(const exprt &expr, const namespacet &ns) const
       return found_symbol_value;
     }
   }
-  else if(simplified_id == ID_member || simplified_id == ID_index || simplified_id == ID_dereference)
+  else if(
+    simplified_id == ID_member || simplified_id == ID_index ||
+    simplified_id == ID_dereference)
   {
     auto access_expr = simplified_expr;
     auto target = eval(access_expr.operands()[0], ns);
 
     return target->expression_transform(
-      access_expr,
-      eval_operands(access_expr, *this, ns),
-      *this,
-      ns);
+      access_expr, eval_operands(access_expr, *this, ns), *this, ns);
   }
   else if(simplified_id == ID_address_of)
   {
@@ -75,7 +74,9 @@ abstract_environmentt::eval(const exprt &expr, const namespacet &ns) const
     // Store the abstract object in the pointer
     return pointer_object;
   }
-  else if(simplified_id == ID_array || simplified_id == ID_struct || simplified_id == ID_constant)
+  else if(
+    simplified_id == ID_array || simplified_id == ID_struct ||
+    simplified_id == ID_constant)
   {
     return abstract_object_factory(simplified_expr.type(), simplified_expr, ns);
   }
@@ -431,10 +432,7 @@ abstract_object_pointert abstract_environmentt::eval_expression(
     abstract_object_factory(e.type(), ns, true);
 
   return eval_obj->expression_transform(
-    e,
-    eval_operands(e, *this, ns),
-    *this,
-    ns);
+    e, eval_operands(e, *this, ns), *this, ns);
 }
 
 void abstract_environmentt::erase(const symbol_exprt &expr)
@@ -519,4 +517,3 @@ std::vector<abstract_object_pointert> eval_operands(
 
   return operands;
 }
-

src/analyses/variable-sensitivity/array_abstract_object.cpp

@@ -41,16 +41,13 @@ abstract_object_pointert array_abstract_objectt::expression_transform(
   const abstract_environmentt &environment,
   const namespacet &ns) const
 {
-  if (expr.id() == ID_index)
+  if(expr.id() == ID_index)
   {
     return read(environment, expr, ns);
   }
 
   return abstract_objectt::expression_transform(
-      expr,
-      operands,
-      environment,
-      ns);
+    expr, operands, environment, ns);
 }
 
 abstract_object_pointert array_abstract_objectt::read(

src/analyses/variable-sensitivity/array_abstract_object.h

@@ -63,7 +63,6 @@ class array_abstract_objectt : public abstract_objectt
     const abstract_environmentt &environment,
     const namespacet &ns) const override;
 
-
   /**
    * A helper function to evaluate an abstract object contained
    * within a container object. More precise abstractions may override this

src/analyses/variable-sensitivity/pointer_abstract_object.cpp

@@ -42,16 +42,13 @@ abstract_object_pointert pointer_abstract_objectt::expression_transform(
   const abstract_environmentt &environment,
   const namespacet &ns) const
 {
-  if (expr.id() == ID_dereference)
+  if(expr.id() == ID_dereference)
   {
     return read(environment, expr, ns);
   }
 
   return abstract_objectt::expression_transform(
-    expr,
-    operands,
-    environment,
-    ns);
+    expr, operands, environment, ns);
 }
 
 abstract_object_pointert pointer_abstract_objectt::read(

src/analyses/variable-sensitivity/struct_abstract_object.cpp

@@ -43,16 +43,13 @@ abstract_object_pointert struct_abstract_objectt::expression_transform(
   const abstract_environmentt &environment,
   const namespacet &ns) const
 {
-  if (expr.id() == ID_member)
+  if(expr.id() == ID_member)
   {
     return read(environment, expr, ns);
   }
 
   return abstract_objectt::expression_transform(
-    expr,
-    operands,
-    environment,
-    ns);
+    expr, operands, environment, ns);
 }
 
 abstract_object_pointert struct_abstract_objectt::read(