Add further non-racy example

Author: michael-schwarz

tests/regression/82-barrier/12-init.c

@@ -0,0 +1,37 @@
+// NOMAC PARAM: --set ana.activated[+] 'pthreadBarriers'
+#include<pthread.h>
+#include<stdio.h>
+#include<unistd.h>
+
+int g;
+
+pthread_barrier_t barrier;
+pthread_mutex_t mutex;
+
+void* thread_func(void* arg) {
+    // Some initialization code
+    pthread_barrier_wait(&barrier);
+
+    pthread_mutex_lock(&mutex);
+    g = 5; //NORACE
+    pthread_mutex_unlock(&mutex);
+
+    return NULL;
+}
+
+
+
+int main(int argc, char const *argv[])
+{
+    pthread_t worker1, worker2;
+
+    pthread_barrier_init(&barrier, NULL, 3);
+
+    pthread_create(&worker1, NULL, thread_func, NULL);
+    pthread_create(&worker2, NULL, thread_func, NULL);
+
+    g = 8; //NORACE
+
+    pthread_barrier_wait(&barrier);
+    return 0;
+}