clang-format for files moved to ansi-c/

This is a separate commit for clang-formatting the files moved to ansi-c/.

Author: kroening

src/ansi-c/builtin_functions.cpp

@@ -12,10 +12,10 @@ Author: Diffblue Ltd.
 #ifndef CPROVER_ANSI_C_C_NONDET_SYMBOL_FACTORY_H
 #define CPROVER_ANSI_C_C_NONDET_SYMBOL_FACTORY_H
 
-#include <set>
-
 #include "allocate_objects.h"
 
+#include <set>
+
 struct c_object_factory_parameterst;
 
 class symbol_factoryt

src/ansi-c/c_nondet_symbol_factory.h

@@ -10,33 +10,33 @@ Author: Daniel Kroening, [email protected]
 /// Destructor Calls
 
 #include "destructor.h"
-#include <goto-programs/goto_instruction_code.h>
 
 #include <util/namespace.h>
 #include <util/pointer_expr.h>
 
-code_function_callt get_destructor(
-  const namespacet &ns,
-  const typet &type)
+#include <goto-programs/goto_instruction_code.h>
+
+code_function_callt get_destructor(const namespacet &ns, const typet &type)
 {
   if(type.id() == ID_struct_tag)
   {
     return get_destructor(ns, ns.follow_tag(to_struct_tag_type(type)));
   }
-  else if(type.id()==ID_struct)
+  else if(type.id() == ID_struct)
   {
-    const exprt &methods=static_cast<const exprt&>(type.find(ID_methods));
+    const exprt &methods = static_cast<const exprt &>(type.find(ID_methods));
 
     for(const auto &op : methods.operands())
     {
       if(op.type().id() == ID_code)
       {
         const code_typet &code_type = to_code_type(op.type());
 
-        if(code_type.return_type().id()==ID_destructor &&
-           code_type.parameters().size()==1)
+        if(
+          code_type.return_type().id() == ID_destructor &&
+          code_type.parameters().size() == 1)
         {
-          const typet &arg_type=code_type.parameters().front().type();
+          const typet &arg_type = code_type.parameters().front().type();
 
           if(
             arg_type.id() == ID_pointer &&

src/ansi-c/destructor.cpp

@@ -15,8 +15,7 @@ Author: Daniel Kroening, [email protected]
 class namespacet;
 class typet;
 
-class code_function_callt get_destructor(
-  const namespacet &ns,
-  const typet &type);
+class code_function_callt
+get_destructor(const namespacet &ns, const typet &type);
 
 #endif // CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H