Skip to content

Commit fc7a738

Browse files
committed
Remove SKIP from malloc_tl using mallocFresh
1 parent 902e90d commit fc7a738

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed
Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// SKIP
1+
// PARAM: --set ana.activated[+] mallocFresh
22
#include <stdlib.h>
33
#include <pthread.h>
44

@@ -7,7 +7,7 @@ void *t_fun(void *arg) {
77
x = malloc(sizeof(int));
88
*x = 3; // NORACE
99
(*x)++; // NORACE
10-
free(x);
10+
free(x); // NORACE
1111
return NULL;
1212
}
1313

@@ -16,7 +16,7 @@ int main() {
1616

1717
pthread_create(&id1, NULL, t_fun, NULL);
1818
pthread_create(&id2, NULL, t_fun, NULL);
19-
19+
2020
return 0;
2121
}
2222

0 commit comments

Comments
 (0)