apply clang format

Author: jezhiggins

src/analyses/variable-sensitivity/constant_pointer_abstract_object.cpp

@@ -11,9 +11,9 @@
 #include "constant_pointer_abstract_object.h"
 #include <analyses/ai.h>
 #include <analyses/variable-sensitivity/abstract_enviroment.h>
+#include <langapi/language_util.h>
 #include <util/std_expr.h>
 #include <util/std_types.h>
-#include <langapi/language_util.h>
 
 constant_pointer_abstract_objectt::constant_pointer_abstract_objectt(
   const typet &type)
@@ -77,11 +77,11 @@ bool constant_pointer_abstract_objectt::same_target(
   auto cast_other =
     std::dynamic_pointer_cast<const constant_pointer_abstract_objectt>(other);
 
-  if (value_stack.is_top_value() || cast_other->value_stack.is_top_value())
+  if(value_stack.is_top_value() || cast_other->value_stack.is_top_value())
     return false;
 
-  bool matching_pointer =
-    value_stack.target_expression() == cast_other->value_stack.target_expression();
+  bool matching_pointer = value_stack.target_expression() ==
+                          cast_other->value_stack.target_expression();
 
   return matching_pointer;
 }
@@ -92,13 +92,14 @@ exprt constant_pointer_abstract_objectt::offset_from(
   auto cast_other =
     std::dynamic_pointer_cast<const constant_pointer_abstract_objectt>(other);
 
-  if (value_stack.is_top_value() || cast_other->value_stack.is_top_value())
+  if(value_stack.is_top_value() || cast_other->value_stack.is_top_value())
     return nil_exprt();
 
-  return minus_exprt(value_stack.offset_expression(), cast_other->value_stack.offset_expression());
+  return minus_exprt(
+    value_stack.offset_expression(),
+    cast_other->value_stack.offset_expression());
 }
 
-
 abstract_object_pointert
 constant_pointer_abstract_objectt::merge_constant_pointers(
   const constant_pointer_abstract_pointert other) const

src/analyses/variable-sensitivity/pointer_abstract_object.cpp

@@ -48,8 +48,9 @@ abstract_object_pointert pointer_abstract_objectt::expression_transform(
   }
   if(expr.id() == ID_ptr_diff)
   {
-    auto& rhs = operands[1];
-    if (same_target(rhs)) {
+    auto &rhs = operands[1];
+    if(same_target(rhs))
+    {
       return environment.eval(offset_from(rhs), ns);
     }
   }

src/analyses/variable-sensitivity/pointer_abstract_object.h

@@ -97,10 +97,12 @@ class pointer_abstract_objectt : public abstract_objectt
 protected:
   CLONE
 
-  virtual bool same_target(abstract_object_pointert other) const {
+  virtual bool same_target(abstract_object_pointert other) const
+  {
     return false;
   }
-  virtual exprt offset_from(abstract_object_pointert other) const {
+  virtual exprt offset_from(abstract_object_pointert other) const
+  {
     return nil_exprt();
   }
 

src/analyses/variable-sensitivity/write_stack.cpp

@@ -14,10 +14,10 @@
 
 #include <unordered_set>
 
+#include <langapi/language_util.h>
 #include <util/arith_tools.h>
 #include <util/c_types.h>
 #include <util/std_expr.h>
-#include <langapi/language_util.h>
 
 /// Build a topstack
 write_stackt::write_stackt() : stack(), top_stack(true)
@@ -212,7 +212,6 @@ exprt write_stackt::offset_expression() const
   return stack[1]->get_access_expr().operands()[1];
 }
 
-
 /// Is the stack representing an unknown value and hence can't be written to
 /// or read from.
 /// \return True if the stack is top.

src/util/simplify_expr_int.cpp

@@ -451,8 +451,10 @@ simplify_exprt::resultt<> simplify_exprt::simplify_plus(const plus_exprt &expr)
     }
 
     // (T*)p+a - don't simplify any further
-    if (expr.type().id() == ID_pointer && expr.operands().size() == 2
-       && is_number(expr.op1().type())) {
+    if(
+      expr.type().id() == ID_pointer && expr.operands().size() == 2 &&
+      is_number(expr.op1().type()))
+    {
       return unchanged(expr);
     }
 

src/util/std_expr.h

@@ -1012,7 +1012,6 @@ inline ptr_diff_exprt to_ptr_diff_expr(const minus_exprt &expr)
   return ptr_diff_exprt(expr);
 }
 
-
 /// \brief Binary multiplication
 /// Associativity is not specified.
 class mult_exprt:public multi_ary_exprt