clang-format includes

Author: tautschnig

regression/cbmc-library/__builtin_llabs/main.c

@@ -1,5 +1,4 @@
 #include <assert.h>
-
 #include <limits.h>
 
 #ifndef __GNUC__

regression/cbmc-library/abs/main.c

@@ -3,8 +3,8 @@
 #include <stdlib.h>
 
 #ifdef _WIN32
-#include <float.h>
-#define isnan _isnan
+#  include <float.h>
+#  define isnan _isnan
 #endif
 
 int main()

regression/cbmc-library/fesetround/main_01.c

@@ -1,13 +1,13 @@
 #ifdef __GNUC__
-#include <assert.h>
-#include <fenv.h>
-#include <math.h>
+#  include <assert.h>
+#  include <fenv.h>
+#  include <math.h>
 
 float nondet_value();
 
 // Should work without this as it defaults to off.
 // It is explicitly ignored by GCC
-#pragma STDC FENV_ACCESS OFF
+#  pragma STDC FENV_ACCESS OFF
 
 void roundingTest(float f1, float f2)
 {
@@ -18,14 +18,14 @@ void roundingTest(float f1, float f2)
   float roundToNearestSum = f1 + f2;
   assert(roundToNearestSum == 0x1.000002p+0f);
 
-#ifdef FE_DOWNWARD
+#  ifdef FE_DOWNWARD
   // Change the rounding mode
   fesetround(FE_DOWNWARD);
 
   // Should now round down to 0x1p+0;
   float roundDownSum = f1 + f2;
   assert(roundDownSum == 0x1.0p+0f);
-#endif
+#  endif
 
   return;
 }

regression/cbmc-library/fesetround/main_02.c

@@ -9,30 +9,30 @@ int main()
 
 #else
 
-#include <assert.h>
-#include <fenv.h>
+#  include <assert.h>
+#  include <fenv.h>
 
 int main()
 {
-#ifdef FE_DOWNWARD
+#  ifdef FE_DOWNWARD
   fesetround(FE_DOWNWARD);
   assert(fegetround() == FE_DOWNWARD);
-#endif
+#  endif
 
-#ifdef FE_TONEAREST
+#  ifdef FE_TONEAREST
   fesetround(FE_TONEAREST);
   assert(fegetround() == FE_TONEAREST);
-#endif
+#  endif
 
-#ifdef FE_TOWARDZERO
+#  ifdef FE_TOWARDZERO
   fesetround(FE_TOWARDZERO);
   assert(fegetround() == FE_TOWARDZERO);
-#endif
+#  endif
 
-#ifdef FE_UPWARD
+#  ifdef FE_UPWARD
   fesetround(FE_UPWARD);
   assert(fegetround() == FE_UPWARD);
-#endif
+#  endif
 }
 
 #endif

regression/cbmc-library/fesetround/main_03.c

@@ -3,9 +3,9 @@
 
 #ifdef __clang__
 
-#include <assert.h>
-#include <fenv.h>
-#include <float.h>
+#  include <assert.h>
+#  include <fenv.h>
+#  include <float.h>
 
 int main()
 {

regression/cbmc-library/getrandom/main.c

@@ -1,4 +1,4 @@
-#  include <assert.h>
+#include <assert.h>
 
 #if defined(__GLIBC__) &&                                                      \
   (__GLIBC__ > 2 || (__GLIBC__ == 2 && __GLIBC_MINOR__ >= 25))

regression/cbmc-library/htonl/main.c

@@ -1,6 +1,7 @@
 #ifndef _WIN32
-#include <arpa/inet.h>
-#include <assert.h>
+#  include <arpa/inet.h>
+
+#  include <assert.h>
 
 int main()
 {

regression/cbmc-library/llabs/main.c

@@ -1,7 +1,6 @@
 #include <assert.h>
-#include <stdlib.h>
-
 #include <limits.h>
+#include <stdlib.h>
 
 int main()
 {

regression/cbmc-library/pipe/main.c

@@ -1,8 +1,8 @@
 #ifdef _WIN32
-#include <fcntl.h>
-#include <io.h>
+#  include <fcntl.h>
+#  include <io.h>
 #else
-#include <unistd.h>
+#  include <unistd.h>
 #endif
 
 #include <assert.h>

regression/cbmc-library/read/main.c

@@ -1,7 +1,7 @@
 #ifdef _WIN32
-#include <io.h>
+#  include <io.h>
 #else
-#include <unistd.h>
+#  include <unistd.h>
 #endif
 
 #include <stdio.h>