descendant lockset tests involving multiple mutexes

Author: dabund24

tests/regression/53-races-mhp/45-dl_multiple_mutexes_racefree.c

@@ -0,0 +1,22 @@
+// PARAM: --set ana.activated[+] threadJoins --set ana.activated[+] threadDescendants --set ana.activated[+] mustlockHistory --set ana.activated[+] descendantLockset
+#include <pthread.h>
+
+int global = 0;
+pthread_mutex_t mutex1, mutex2 = PTHREAD_MUTEX_INITIALIZER;
+pthread_t id1;
+
+void *t1(void *arg) {
+  pthread_mutex_lock(&mutex1);
+  pthread_mutex_unlock(&mutex1);
+  global++; // NORACE
+  return NULL;
+}
+
+int main(void) {
+  pthread_mutex_lock(&mutex1);
+  pthread_mutex_lock(&mutex2);
+  pthread_create(&id1, NULL, t1, NULL);
+  pthread_mutex_unlock(&mutex2);
+  global++; // NORACE
+  return 0;
+}

tests/regression/53-races-mhp/59-dl_multiple_mutexes_racing.c

@@ -0,0 +1,22 @@
+// PARAM: --set ana.activated[+] threadJoins --set ana.activated[+] threadDescendants --set ana.activated[+] mustlockHistory --set ana.activated[+] descendantLockset
+#include <pthread.h>
+
+int global = 0;
+pthread_mutex_t mutex1, mutex2 = PTHREAD_MUTEX_INITIALIZER;
+pthread_t id1;
+
+void *t1(void *arg) {
+  pthread_mutex_lock(&mutex1);
+  pthread_mutex_unlock(&mutex1);
+  global++; // RACE!
+  return NULL;
+}
+
+int main(void) {
+  pthread_mutex_lock(&mutex1);
+  pthread_mutex_lock(&mutex2);
+  pthread_create(&id1, NULL, t1, NULL);
+  pthread_mutex_unlock(&mutex1);
+  global++; // RACE!
+  return 0;
+}