Clang-format code after updates to labels

Whitespace changes only.

Author: tautschnig

regression/cbmc-concurrency/atomic_section_sc3/main.c

@@ -85,8 +85,10 @@ unsigned dec() {
 
 int main(){
 __CPROVER_ASYNC_1: inc();
-__CPROVER_ASYNC_2: dec();
-__CPROVER_ASYNC_3: dec();
+__CPROVER_ASYNC_2:
+  dec();
+__CPROVER_ASYNC_3:
+  dec();
 
   return 0;
 }

regression/cbmc-concurrency/conditional_spawn2/main.c

@@ -16,8 +16,10 @@ int main()
 __CPROVER_ASYNC_1: thread();
   }
 
-__CPROVER_ASYNC_2: thread();
-__CPROVER_ASYNC_3: thread();
+__CPROVER_ASYNC_2:
+  thread();
+__CPROVER_ASYNC_3:
+  thread();
 
   __CPROVER_assert(n<4, "3 threads spawned");
 

regression/cbmc-concurrency/generic_hw_sw_benchmark1/main.c

@@ -8,9 +8,9 @@
 
 #ifdef _ENABLE_CBMC_
 
-#define ASYNC(n, c) __CPROVER_ASYNC_ ## n: (c)
-#define ATOMIC_BEGIN  __CPROVER_atomic_begin()
-#define ATOMIC_END  __CPROVER_atomic_end()
+#  define ASYNC(n, c) __CPROVER_ASYNC_##n : (c)
+#  define ATOMIC_BEGIN __CPROVER_atomic_begin()
+#  define ATOMIC_END __CPROVER_atomic_end()
 
 char symbolic_char(char);
 
@@ -233,7 +233,7 @@ void* write_data_register(struct Hardware *hw, RegisterId reg_id, Register value
     pthread_create(&interrupt_thread, NULL, hw->interrupt_handler, (void *) hw->fw);
   }
 #else
-    ASYNC(1, hw->interrupt_handler((void *) hw->fw));
+    ASYNC(1, hw->interrupt_handler((void *)hw->fw));
 #endif
 
 SKIP:
@@ -346,7 +346,7 @@ int main(void)
   pthread_t firmware_thread;
   pthread_create(&firmware_thread, NULL, poll, (void *) fw);
 #else
-  ASYNC(1, poll((void *) fw));
+  ASYNC(1, poll((void *)fw));
 #endif
 
 #ifdef _EXPOSE_BUG_
@@ -358,7 +358,7 @@ int main(void)
   pthread_t stimulus_thread;
   pthread_create(&stimulus_thread, NULL, stimulus, (void *) hw);
 #else
-  ASYNC(2, stimulus((void *) hw));
+  ASYNC(2, stimulus((void *)hw));
 #endif
 
 #ifdef _EXPOSE_BUG_

regression/cbmc-concurrency/svcomp13_qrcu_safe/main.c

@@ -118,7 +118,9 @@ void* qrcu_updater() {
 
 int main() {
 __CPROVER_ASYNC_1: qrcu_reader1();
-__CPROVER_ASYNC_2: qrcu_reader2();
-__CPROVER_ASYNC_3: qrcu_updater();
+__CPROVER_ASYNC_2:
+  qrcu_reader2();
+__CPROVER_ASYNC_3:
+  qrcu_updater();
   return 0;
 }

regression/cbmc-concurrency/svcomp13_qrcu_unsafe/main.c

@@ -118,7 +118,9 @@ void* qrcu_updater() {
 
 int main() {
 __CPROVER_ASYNC_1: qrcu_reader1();
-__CPROVER_ASYNC_2: qrcu_reader2();
-__CPROVER_ASYNC_3: qrcu_updater();
+__CPROVER_ASYNC_2:
+  qrcu_reader2();
+__CPROVER_ASYNC_3:
+  qrcu_updater();
   return 0;
 }

regression/cbmc-concurrency/svcomp13_read_write_lock_safe/main.c

@@ -39,8 +39,11 @@ void *reader() { //reader
 
 int main() {
 __CPROVER_ASYNC_1: writer();
-__CPROVER_ASYNC_2: reader();
-__CPROVER_ASYNC_3: writer();
-__CPROVER_ASYNC_4: reader();
+__CPROVER_ASYNC_2:
+  reader();
+__CPROVER_ASYNC_3:
+  writer();
+__CPROVER_ASYNC_4:
+  reader();
   return 0;
 }