Fix pthread_argument int dereference in added examples

goblint · Sep 20, 2023 · 43ec2bb · 43ec2bb
1 parent f217bdf
commit 43ec2bb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/tests/regression/03-practical/35-thread-binomial-join.c b/tests/regression/03-practical/35-thread-binomial-join.c
@@ -26,7 +26,7 @@ int data = 0;
 pthread_mutex_t data_mutex = PTHREAD_MUTEX_INITIALIZER;
 
 void *thread(void *arg) {
-  int i = *((int*) arg);
+  int i = arg;
   pthread_mutex_lock(&data_mutex);
   data = __VERIFIER_nondet_int(); // NORACE
   pthread_mutex_unlock(&data_mutex);

diff --git a/tests/regression/03-practical/41-symbolic-thread-array-index.c b/tests/regression/03-practical/41-symbolic-thread-array-index.c
@@ -7,7 +7,7 @@ extern int __VERIFIER_nondet_int();
 int *datas;
 
 void *thread(void *arg) {
-  int i = *((int*) arg);
+  int i = arg;
   datas[i] = __VERIFIER_nondet_int(); // NORACE
   return NULL;
 }

diff --git a/tests/regression/03-practical/42-symbolic-thread-array-bitmask.c b/tests/regression/03-practical/42-symbolic-thread-array-bitmask.c
@@ -12,7 +12,7 @@ pthread_mutex_t threads_mask_mutex = PTHREAD_MUTEX_INITIALIZER;
 int *datas;
 
 void *thread(void *arg) {
-  int j = *((int*) arg);
+  int j = arg;
   datas[j] = __VERIFIER_nondet_int(); // NORACE
 
   pthread_mutex_lock(&threads_mask_mutex);