clang-format code moved from link_goto_model.cpp

Author: tautschnig

src/goto-programs/read_goto_binary.cpp

@@ -43,7 +43,7 @@ static void rename_symbols_in_function(
       identifier = entry->second;
   }
 
-  goto_programt &program=function.body;
+  goto_programt &program = function.body;
   rename_symbol(function.type);
 
   Forall_goto_program_instructions(iit, program)
@@ -76,20 +76,20 @@ static bool link_functions(
   Forall_goto_functions(src_it, src_functions)
   {
     // the function might have been renamed
-    rename_symbolt::expr_mapt::const_iterator e_it=
+    rename_symbolt::expr_mapt::const_iterator e_it =
       rename_symbol.expr_map.find(src_it->first);
 
-    irep_idt final_id=src_it->first;
+    irep_idt final_id = src_it->first;
 
-    if(e_it!=rename_symbol.expr_map.end())
-      final_id=e_it->second;
+    if(e_it != rename_symbol.expr_map.end())
+      final_id = e_it->second;
 
     // already there?
-    goto_functionst::function_mapt::iterator dest_f_it=
+    goto_functionst::function_mapt::iterator dest_f_it =
       dest_functions.function_map.find(final_id);
 
     goto_functionst::goto_functiont &src_func = src_it->second;
-    if(dest_f_it==dest_functions.function_map.end()) // not there yet
+    if(dest_f_it == dest_functions.function_map.end()) // not there yet
     {
       rename_symbols_in_function(src_func, final_id, rename_symbol);
       dest_functions.function_map.emplace(final_id, std::move(src_func));
@@ -98,19 +98,21 @@ static bool link_functions(
     {
       goto_functionst::goto_functiont &in_dest_symbol_table = dest_f_it->second;
 
-      if(in_dest_symbol_table.body.instructions.empty() ||
-         weak_symbols.find(final_id)!=weak_symbols.end())
+      if(
+        in_dest_symbol_table.body.instructions.empty() ||
+        weak_symbols.find(final_id) != weak_symbols.end())
       {
         // the one with body wins!
         rename_symbols_in_function(src_func, final_id, rename_symbol);
 
         in_dest_symbol_table.body.swap(src_func.body);
         in_dest_symbol_table.parameter_identifiers.swap(
           src_func.parameter_identifiers);
-        in_dest_symbol_table.type=src_func.type;
+        in_dest_symbol_table.type = src_func.type;
       }
-      else if(src_func.body.instructions.empty() ||
-              src_ns.lookup(src_it->first).is_weak)
+      else if(
+        src_func.body.instructions.empty() ||
+        src_ns.lookup(src_it->first).is_weak)
       {
         // just keep the old one in dest
       }
@@ -122,8 +124,9 @@ static bool link_functions(
       {
         // the linking code will have ensured that types match
         rename_symbol(src_func.type);
-        INVARIANT(base_type_eq(in_dest_symbol_table.type, src_func.type, ns),
-                  "linking ensures that types match");
+        INVARIANT(
+          base_type_eq(in_dest_symbol_table.type, src_func.type, ns),
+          "linking ensures that types match");
       }
     }
   }
@@ -166,9 +169,8 @@ static void link_goto_model(
     linking.object_type_updates.get_expr_map().end());
 }
 
-static void finalize_linking(
-  goto_modelt &dest,
-  const replace_symbolt &object_type_updates)
+static void
+finalize_linking(goto_modelt &dest, const replace_symbolt &object_type_updates)
 {
   goto_functionst &dest_functions = dest.goto_functions;
   symbol_tablet &dest_symbol_table = dest.symbol_table;
@@ -185,15 +187,15 @@ static void finalize_linking(
       INVARIANT(symbol.value.id() == ID_symbol, "must have symbol");
       const irep_idt &id = to_symbol_expr(symbol.value).get_identifier();
 
-      #if 0
+#if 0
       if(!base_type_eq(symbol.type, ns.lookup(id).type, ns))
       {
         std::cerr << symbol << '\n';
         std::cerr << ns.lookup(id) << '\n';
       }
       INVARIANT(base_type_eq(symbol.type, ns.lookup(id).type, ns),
                 "type matches");
-      #endif
+#endif
 
       macro_application.insert_expr(symbol.name, id);
     }
@@ -202,7 +204,7 @@ static void finalize_linking(
   if(!macro_application.expr_map.empty())
     Forall_goto_functions(dest_it, dest_functions)
     {
-      irep_idt final_id=dest_it->first;
+      irep_idt final_id = dest_it->first;
       rename_symbols_in_function(dest_it->second, final_id, macro_application);
     }