solved problem with race-3_2-container_of-global

Author: hernanponcedeleon

c/ldv-races/race-3_2-container_of-global.c

@@ -46,7 +46,10 @@ void *my_callback(void *arg) {
     data->shared.a = 1;
     __VERIFIER_atomic_end();
     __VERIFIER_atomic_begin();
-    data->shared.b = data->shared.b + 1;
+    int lb = data->shared.b;
+    __VERIFIER_atomic_end();
+    __VERIFIER_atomic_begin();
+    data->shared.b = lb + 1;
     __VERIFIER_atomic_end();
     //pthread_mutex_unlock (&data->lock);
 	return 0;

c/ldv-races/race-3_2-container_of-global.i

@@ -1693,7 +1693,10 @@ void *my_callback(void *arg) {
     data->shared.a = 1;
     __VERIFIER_atomic_end();
     __VERIFIER_atomic_begin();
-    data->shared.b = data->shared.b + 1;
+    int lb = data->shared.b;
+    __VERIFIER_atomic_end();
+    __VERIFIER_atomic_begin();
+    data->shared.b = lb + 1;
     __VERIFIER_atomic_end();
  return 0;
 }