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