]>
Commit | Line | Data |
---|---|---|
5bcae85e | 1 | // RUN: %clang_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s |
92a42be0 | 2 | |
1a4d82fc JJ |
3 | #include <pthread.h> |
4 | #include <stdio.h> | |
5 | #include <stdlib.h> | |
6 | #include <setjmp.h> | |
7 | #include <string.h> | |
8 | ||
9 | void bar(jmp_buf env) { | |
10 | volatile int x = 42; | |
11 | jmp_buf env2; | |
12 | memcpy(env2, env, sizeof(jmp_buf)); | |
13 | longjmp(env2, 42); | |
14 | x++; | |
15 | } | |
16 | ||
17 | void foo(jmp_buf env) { | |
18 | volatile int x = 42; | |
19 | bar(env); | |
20 | x++; | |
21 | } | |
22 | ||
23 | void badguy() { | |
24 | pthread_mutex_t mtx; | |
25 | pthread_mutex_init(&mtx, 0); | |
26 | pthread_mutex_lock(&mtx); | |
27 | pthread_mutex_destroy(&mtx); | |
28 | } | |
29 | ||
30 | void mymain() { | |
31 | jmp_buf env; | |
32 | if (setjmp(env) == 42) { | |
33 | badguy(); | |
34 | return; | |
35 | } | |
36 | foo(env); | |
5bcae85e | 37 | fprintf(stderr, "FAILED\n"); |
1a4d82fc JJ |
38 | } |
39 | ||
40 | int main() { | |
41 | volatile int x = 42; | |
42 | mymain(); | |
43 | return x; | |
44 | } | |
45 | ||
46 | // CHECK-NOT: FAILED | |
47 | // CHECK: WARNING: ThreadSanitizer: destroy of a locked mutex | |
48 | // CHECK: #0 pthread_mutex_destroy | |
49 | // CHECK: #1 badguy | |
50 | // CHECK: #2 mymain | |
51 | // CHECK: #3 main | |
52 |