Add tests

Author: michael-schwarz

tests/regression/83-once/05-unknown-tid.c

@@ -0,0 +1,28 @@
+// PARAM: --set ana.activated[+] pthreadOnce
+#include <pthread.h>
+#include <stdio.h>
+
+int g;
+pthread_once_t once = PTHREAD_ONCE_INIT;
+pthread_mutex_t mutex1 = PTHREAD_MUTEX_INITIALIZER;
+
+void fun() {
+  g++; //NORACE
+}
+
+
+void* thread(void* arg) {
+  pthread_once(&once, fun);
+  return NULL;
+}
+
+int main(void) {
+  pthread_t id;
+
+  for(int i=0; i < 100; i++) {
+    // Will receive unknown TID
+    pthread_create(&id, NULL, thread, NULL);
+  }
+
+  return 0;
+}

tests/regression/83-once/06-multiple-inside-once.c

@@ -0,0 +1,27 @@
+// PARAM: --set ana.activated[+] pthreadOnce
+#include <pthread.h>
+#include <stdio.h>
+
+int g;
+pthread_once_t once = PTHREAD_ONCE_INIT;
+pthread_mutex_t mutex1 = PTHREAD_MUTEX_INITIALIZER;
+
+void fun() {
+  g++; //NORACE
+  g++; //NORACE
+}
+
+
+void* thread(void* arg) {
+  pthread_once(&once, fun);
+  return NULL;
+}
+
+int main(void) {
+  pthread_t id;
+
+  pthread_create(&id, NULL, thread, NULL);
+  pthread_once(&once, fun);
+
+  return 0;
+}

tests/regression/83-once/07-different-onces.c

@@ -0,0 +1,29 @@
+// PARAM: --set ana.activated[+] pthreadOnce
+// Developer used tow different pthread_once_t variables by mistake
+#include <pthread.h>
+#include <stdio.h>
+
+int g;
+pthread_once_t once = PTHREAD_ONCE_INIT;
+pthread_once_t once1 = PTHREAD_ONCE_INIT;
+pthread_mutex_t mutex1 = PTHREAD_MUTEX_INITIALIZER;
+
+void fun() {
+  g++; //RACE!
+  g++; //RACE!
+}
+
+
+void* thread(void* arg) {
+  pthread_once(&once, fun);
+  return NULL;
+}
+
+int main(void) {
+  pthread_t id;
+
+  pthread_create(&id, NULL, thread, NULL);
+  pthread_once(&once1, fun);
+
+  return 0;
+}

tests/regression/83-once/08-pointers.c

@@ -0,0 +1,39 @@
+// PARAM: --set ana.activated[+] pthreadOnce
+// Function to be called by once is passed as a pointer
+#include <pthread.h>
+#include <stdio.h>
+
+int g;
+void init0();
+
+void* initp = &init0;
+pthread_once_t once = PTHREAD_ONCE_INIT;
+pthread_mutex_t mutex1 = PTHREAD_MUTEX_INITIALIZER;
+
+void init0() {
+  g++; //NORACE
+}
+
+
+void init1() {
+  g++; //NORACE
+}
+
+
+void* thread(void* arg) {
+  pthread_once(&once, initp);
+  return NULL;
+}
+
+int main(void) {
+  pthread_t id;
+  int top;
+
+  if(top) { initp = &init1; }
+
+  pthread_create(&id, NULL, thread, NULL);
+
+  pthread_once(&once, initp);
+
+  return 0;
+}

tests/regression/83-once/09-pointers2.c

@@ -0,0 +1,38 @@
+// PARAM: --set ana.activated[+] pthreadOnce
+// Function to be called by once is passed as a pointer
+#include <pthread.h>
+#include <stdio.h>
+
+int g;
+void init0();
+
+void* initp = &init0;
+pthread_once_t once = PTHREAD_ONCE_INIT;
+pthread_mutex_t mutex1 = PTHREAD_MUTEX_INITIALIZER;
+
+void init0() {
+  g++; //NORACE
+}
+
+
+void init1() {
+  g++; //NORACE
+}
+
+
+void* thread(void* arg) {
+  pthread_once(&once, initp);
+  return NULL;
+}
+
+int main(void) {
+  pthread_t id;
+  int top;
+
+  pthread_create(&id, NULL, thread, NULL);
+  if(top) { initp = &init1; }
+  pthread_once(&once, initp);
+
+
+  return 0;
+}

tests/regression/83-once/10-pointer-once.c

@@ -0,0 +1,33 @@
+// PARAM: --set ana.activated[+] pthreadOnce
+// pthread_once object is passed as a pointer (and it may change)
+#include <pthread.h>
+#include <stdio.h>
+
+int g;
+void init0();
+
+pthread_once_t* optr;
+pthread_once_t once = PTHREAD_ONCE_INIT;
+pthread_once_t once1 = PTHREAD_ONCE_INIT;
+pthread_mutex_t mutex1 = PTHREAD_MUTEX_INITIALIZER;
+
+void init0() {
+  g++; //RACE
+}
+
+
+void* thread(void* arg) {
+  pthread_once(&once, init0);
+  return NULL;
+}
+
+int main(void) {
+  pthread_t id;
+  int top;
+
+  pthread_create(&id, NULL, thread, NULL);
+  if(top) { optr = &once1; }
+  pthread_once(optr, init0);
+
+  return 0;
+}

tests/regression/83-once/11-combination.c

@@ -0,0 +1,45 @@
+// PARAM: --set ana.activated[+] pthreadOnce --set ana.activated[+] threadJoins --set ana.path_sens[+] threadflag --set ana.base.privatization mutex-meet-tid
+// pthread_once object is passed as a pointer (and it may change)
+#include <pthread.h>
+#include <stdio.h>
+
+int* g;
+pthread_once_t once = PTHREAD_ONCE_INIT;
+pthread_mutex_t mtx;
+
+void init0() {
+  g = malloc(sizeof(int));
+}
+
+
+void* thread(void* arg) {
+  pthread_once(&once, init0);
+
+  pthread_mutex_lock(&mtx);
+  if(g == NULL) {
+    // Will not happen!
+    // Also showing that g is not NULL here requires "Extended Support for pthread once" as explained in appendix C.
+    // It was added manually here so we can show off that at the end we can exclude the in initial value even
+    // though main didn't write
+    exit();
+  }
+  *g = 4711; //NORACE
+  pthread_mutex_unlock(&mtx);
+
+  return NULL;
+}
+
+int main(void) {
+  pthread_t id, id2;
+  int top;
+
+  pthread_create(&id, NULL, thread, NULL);
+  pthread_create(&id2, NULL, thread, NULL);
+
+  pthread_join(id, NULL);
+  pthread_join(id2, NULL);
+
+  *g = 47; //NORACE
+
+  return 0;
+}