1// RUN: %clang_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s
2
3#include <pthread.h>
4#include <stdio.h>
5#include <stdlib.h>
6#include <setjmp.h>
7#include <string.h>
8
9void bar(jmp_buf env) {
10 volatile int x = 42;
11 jmp_buf env2;
12 memcpy(dest: env2, src: env, n: sizeof(jmp_buf));
13 longjmp(env: env2, val: 42);
14 x++;
15}
16
17void foo(jmp_buf env) {
18 volatile int x = 42;
19 bar(env);
20 x++;
21}
22
23__attribute__((noinline)) void badguy() {
24 pthread_mutex_t mtx;
25 pthread_mutex_init(mutex: &mtx, mutexattr: 0);
26 pthread_mutex_lock(mutex: &mtx);
27 pthread_mutex_destroy(mutex: &mtx);
28}
29
30__attribute__((noinline)) void mymain() {
31 jmp_buf env;
32 if (setjmp(env) == 42) {
33 badguy();
34 return;
35 }
36 foo(env);
37 fprintf(stderr, format: "FAILED\n");
38}
39
40int 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
53

source code of compiler-rt/test/tsan/longjmp4.cpp