Skip to content

Commit fc22ec0

Browse files
committed
use "RACE!" instead of "RACE"
1 parent 5b97ec4 commit fc22ec0

File tree

3 files changed

+6
-6
lines changed

3 files changed

+6
-6
lines changed

tests/regression/90-races_ancestor_locksets/20-multiple_create_statements_racing.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,13 +7,13 @@ pthread_t id1, id2;
77

88
void *t1(void *arg) {
99
pthread_mutex_lock(&mutex);
10-
global++; // RACE
10+
global++; // RACE!
1111
pthread_mutex_unlock(&mutex);
1212
return NULL;
1313
}
1414

1515
void *t2(void *arg) { // t2 is not protected by mutex locked in main thread, since it is created/joined twice. The lock is released before the second join happens
16-
global++; // RACE
16+
global++; // RACE!
1717
return NULL;
1818
}
1919

tests/regression/90-races_ancestor_locksets/21-diamond_racing.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,13 +7,13 @@ pthread_t id1, id2, id3, id4_1, id4_2;
77

88
void *t1(void *arg) {
99
pthread_mutex_lock(&mutex);
10-
global++; // RACE
10+
global++; // RACE!
1111
pthread_mutex_unlock(&mutex);
1212
return NULL;
1313
}
1414

1515
void* t4(void* arg) { // t4 is not protected by mutex, since it is created twice and the creation in t2 does not happen with mutex locked
16-
global++; // RACE
16+
global++; // RACE!
1717
return NULL;
1818
}
1919

tests/regression/90-races_ancestor_locksets/22-circle_racing.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ pthread_t id1, idc1;
1010

1111
void *t1(void *arg) {
1212
pthread_mutex_lock(&mutex);
13-
global++; // RACE
13+
global++; // RACE!
1414
pthread_mutex_unlock(&mutex);
1515
return NULL;
1616
}
@@ -26,7 +26,7 @@ void *tc2(void *arg) {
2626
}
2727

2828
void *tc1(void *arg) { // tc1 is protected by tc2, but not by the main thread.
29-
global++; // RACE
29+
global++; // RACE!
3030
pthread_t idc2;
3131
pthread_create(&idc2, NULL, tc2, NULL);
3232
return NULL;

0 commit comments

Comments
 (0)