1 // RUN: %clang_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
2 
3 #include <stdio.h>
4 #include <stdlib.h>
5 #include <setjmp.h>
6 
foo(jmp_buf env)7 int foo(jmp_buf env) {
8   longjmp(env, 42);
9 }
10 
main()11 int main() {
12   jmp_buf env;
13   if (setjmp(env) == 42) {
14     fprintf(stderr, "JUMPED\n");
15     return 0;
16   }
17   foo(env);
18   fprintf(stderr, "FAILED\n");
19   return 0;
20 }
21 
22 // CHECK-NOT: FAILED
23 // CHECK: JUMPED
24