Make clang-format happy

Author: chrisr-diffblue

src/goto-programs/class_identifier.cpp

@@ -61,7 +61,7 @@ exprt get_class_identifier_field(
   // Get a pointer from which we can extract a clsid.
   // If it's already a pointer to an object of some sort, just use it;
   // if it's void* then use the suggested type.
-  PRECONDITION(this_expr_in.type().id()==ID_pointer);
+  PRECONDITION(this_expr_in.type().id() == ID_pointer);
 
   exprt this_expr=this_expr_in;
   const auto &points_to=this_expr.type().subtype();

src/goto-programs/compute_called_functions.cpp

@@ -21,15 +21,16 @@ void compute_address_taken_functions(
   forall_operands(it, src)
     compute_address_taken_functions(*it, address_taken);
 
-  if(src.id()==ID_address_of)
+  if(src.id() == ID_address_of)
   {
     const address_of_exprt &address = to_address_of_expr(src);
 
-    if(address.type().id()==ID_pointer &&
-       address.type().subtype().id()==ID_code)
+    if(
+      address.type().id() == ID_pointer &&
+      address.type().subtype().id() == ID_code)
     {
-      const exprt &target=address.object();
-      if(target.id()==ID_symbol)
+      const exprt &target = address.object();
+      if(target.id() == ID_symbol)
         address_taken.insert(to_symbol_expr(target).get_identifier());
     }
   }