blob: f9fa4f54f507dd913386c12b8e4ea8d419b145a1 [file] [log] [blame]
// RUN: %clang_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
// Test case for longjumping out of signal handler:
// https://github.com/google/sanitizers/issues/482
// This test fails on powerpc64 BE (VMA=44), a segmentation fault
// error happens at the second assignment
// "((volatile int *volatile)mem)[1] = 1".
// XFAIL: powerpc64-unknown-linux-gnu
#include <setjmp.h>
#include <signal.h>
#include <stdlib.h>
#include <stdio.h>
#include <sys/mman.h>
#ifdef __APPLE__
#define SIGNAL_TO_HANDLE SIGBUS
#else
#define SIGNAL_TO_HANDLE SIGSEGV
#endif
sigjmp_buf fault_jmp;
volatile int fault_expected;
void sigfault_handler(int sig) {
if (!fault_expected)
abort();
/* just return from sighandler to proper place */
fault_expected = 0;
siglongjmp(fault_jmp, 1);
}
#define MUST_FAULT(code) do { \
fault_expected = 1; \
if (!sigsetjmp(fault_jmp, 1)) { \
code; /* should pagefault -> sihandler does longjmp */ \
fprintf(stderr, "%s not faulted\n", #code); \
abort(); \
} else { \
fprintf(stderr, "%s faulted ok\n", #code); \
} \
} while (0)
int main() {
struct sigaction act;
act.sa_handler = sigfault_handler;
act.sa_flags = 0;
if (sigemptyset(&act.sa_mask)) {
perror("sigemptyset");
exit(1);
}
if (sigaction(SIGNAL_TO_HANDLE, &act, NULL)) {
perror("sigaction");
exit(1);
}
void *mem = mmap(0, 4096, PROT_NONE, MAP_PRIVATE | MAP_ANON,
-1, 0);
MUST_FAULT(((volatile int *volatile)mem)[0] = 0);
MUST_FAULT(((volatile int *volatile)mem)[1] = 1);
MUST_FAULT(((volatile int *volatile)mem)[3] = 1);
// Ensure that tsan does not think that we are
// in a signal handler.
void *volatile p = malloc(10);
((volatile int*)p)[1] = 1;
free((void*)p);
munmap(p, 4096);
fprintf(stderr, "DONE\n");
return 0;
}
// CHECK-NOT: WARNING: ThreadSanitizer
// CHECK: DONE