Clang-format builtin header declarations

Author: tautschnig

src/ansi-c/ansi_c_internal_additions.cpp

@@ -15,45 +15,43 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <goto-programs/adjust_float_expressions.h>
 
-const char gcc_builtin_headers_types[]=
-"#line 1 \"gcc_builtin_headers_types.h\"\n"
+const char gcc_builtin_headers_types[] =
+  "#line 1 \"gcc_builtin_headers_types.h\"\n"
 #include "gcc_builtin_headers_types.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_generic[]=
-"#line 1 \"gcc_builtin_headers_generic.h\"\n"
+const char gcc_builtin_headers_generic[] =
+  "#line 1 \"gcc_builtin_headers_generic.h\"\n"
 #include "gcc_builtin_headers_generic.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_math[]=
-"#line 1 \"gcc_builtin_headers_math.h\"\n"
+const char gcc_builtin_headers_math[] =
+  "#line 1 \"gcc_builtin_headers_math.h\"\n"
 #include "gcc_builtin_headers_math.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_mem_string[]=
-"#line 1 \"gcc_builtin_headers_mem_string.h\"\n"
+const char gcc_builtin_headers_mem_string[] =
+  "#line 1 \"gcc_builtin_headers_mem_string.h\"\n"
 #include "gcc_builtin_headers_mem_string.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_omp[]=
-"#line 1 \"gcc_builtin_headers_omp.h\"\n"
+const char gcc_builtin_headers_omp[] = "#line 1 \"gcc_builtin_headers_omp.h\"\n"
 #include "gcc_builtin_headers_omp.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_tm[]=
-"#line 1 \"gcc_builtin_headers_tm.h\"\n"
+const char gcc_builtin_headers_tm[] = "#line 1 \"gcc_builtin_headers_tm.h\"\n"
 #include "gcc_builtin_headers_tm.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_ubsan[]=
-"#line 1 \"gcc_builtin_headers_ubsan.h\"\n"
+const char gcc_builtin_headers_ubsan[] =
+  "#line 1 \"gcc_builtin_headers_ubsan.h\"\n"
 #include "gcc_builtin_headers_ubsan.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_ia32[]=
-"#line 1 \"gcc_builtin_headers_ia32.h\"\n"
+const char gcc_builtin_headers_ia32[] =
+  "#line 1 \"gcc_builtin_headers_ia32.h\"\n"
 #include "gcc_builtin_headers_ia32.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 const char gcc_builtin_headers_ia32_2[]=
 #include "gcc_builtin_headers_ia32-2.inc"
 ; // NOLINT(whitespace/semicolon)
@@ -67,50 +65,44 @@ const char gcc_builtin_headers_ia32_5[] =
 #include "gcc_builtin_headers_ia32-5.inc"
   ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_alpha[]=
-"#line 1 \"gcc_builtin_headers_alpha.h\"\n"
+const char gcc_builtin_headers_alpha[] =
+  "#line 1 \"gcc_builtin_headers_alpha.h\"\n"
 #include "gcc_builtin_headers_alpha.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_arm[]=
-"#line 1 \"gcc_builtin_headers_arm.h\"\n"
+const char gcc_builtin_headers_arm[] = "#line 1 \"gcc_builtin_headers_arm.h\"\n"
 #include "gcc_builtin_headers_arm.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_mips[]=
-"#line 1 \"gcc_builtin_headers_mips.h\"\n"
+const char gcc_builtin_headers_mips[] =
+  "#line 1 \"gcc_builtin_headers_mips.h\"\n"
 #include "gcc_builtin_headers_mips.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char gcc_builtin_headers_power[]=
-"#line 1 \"gcc_builtin_headers_power.h\"\n"
+const char gcc_builtin_headers_power[] =
+  "#line 1 \"gcc_builtin_headers_power.h\"\n"
 #include "gcc_builtin_headers_power.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char arm_builtin_headers[]=
-"#line 1 \"arm_builtin_headers.h\"\n"
+const char arm_builtin_headers[] = "#line 1 \"arm_builtin_headers.h\"\n"
 #include "arm_builtin_headers.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char cw_builtin_headers[]=
-"#line 1 \"cw_builtin_headers.h\"\n"
+const char cw_builtin_headers[] = "#line 1 \"cw_builtin_headers.h\"\n"
 #include "cw_builtin_headers.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char clang_builtin_headers[]=
-"#line 1 \"clang_builtin_headers.h\"\n"
+const char clang_builtin_headers[] = "#line 1 \"clang_builtin_headers.h\"\n"
 #include "clang_builtin_headers.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char cprover_builtin_headers[]=
-"#line 1 \"cprover_builtin_headers.h\"\n"
+const char cprover_builtin_headers[] = "#line 1 \"cprover_builtin_headers.h\"\n"
 #include "cprover_builtin_headers.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
-const char windows_builtin_headers[]=
-"#line 1 \"windows_builtin_headers.h\"\n"
+const char windows_builtin_headers[] = "#line 1 \"windows_builtin_headers.h\"\n"
 #include "windows_builtin_headers.inc"
-; // NOLINT(whitespace/semicolon)
+  ; // NOLINT(whitespace/semicolon)
 
 static std::string architecture_string(const std::string &value, const char *s)
 {