Fix pthread-lock-return test on OSX

sim642 · sim642 · commit 7f9ec9a4ef10 · 2023-09-27T16:03:49.000+03:00
diff --git a/tests/regression/04-mutex/58-pthread-lock-return.c b/tests/regression/04-mutex/58-pthread-lock-return.c
@@ -70,7 +70,7 @@ void *t_fun(void *arg) {
 
 #ifndef __APPLE__
   if (!pthread_spin_lock(&spin)) {
-    __goblint_check(1); // reachable
+    __goblint_check(1); // TODO reachable (TODO for OSX)
     g_spin++; // NORACE
     pthread_spin_unlock(&spin);
   }
@@ -79,12 +79,12 @@ void *t_fun(void *arg) {
   }
 
   if (!pthread_spin_trylock(&spin)) {
-    __goblint_check(1); // reachable
+    __goblint_check(1); // TODO reachable (TODO for OSX)
     g_spin++; // NORACE
     pthread_spin_unlock(&spin);
   }
   else {
-    __goblint_check(1); // reachable
+    __goblint_check(1); // TODO reachable (TODO for OSX)
   }
 #endif
 

Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,7 @@ void t_fun(void arg) {`
`70`	`70`
`71`	`71`	`#ifndef __APPLE__`
`72`	`72`	`if (!pthread_spin_lock(&spin)) {`
`73`		`- __goblint_check(1); // reachable`
	`73`	`+ __goblint_check(1); // TODO reachable (TODO for OSX)`
`74`	`74`	`g_spin++; // NORACE`
`75`	`75`	`pthread_spin_unlock(&spin);`
`76`	`76`	`}`
`@@ -79,12 +79,12 @@ void t_fun(void arg) {`
`79`	`79`	`}`
`80`	`80`
`81`	`81`	`if (!pthread_spin_trylock(&spin)) {`
`82`		`- __goblint_check(1); // reachable`
	`82`	`+ __goblint_check(1); // TODO reachable (TODO for OSX)`
`83`	`83`	`g_spin++; // NORACE`
`84`	`84`	`pthread_spin_unlock(&spin);`
`85`	`85`	`}`
`86`	`86`	`else {`
`87`		`- __goblint_check(1); // reachable`
	`87`	`+ __goblint_check(1); // TODO reachable (TODO for OSX)`
`88`	`88`	`}`
`89`	`89`	`#endif`
`90`	`90`