#include "tsan_interface.h"
#include "tsan_interface_ann.h"
#include "tsan_rtl.h"
#include "sanitizer_common/sanitizer_internal_defs.h"
#include "sanitizer_common/sanitizer_ptrauth.h"
#define CALLERPC …
usingnamespace__tsan;
void __tsan_init() { … }
void __tsan_flush_memory() { … }
void __tsan_read16_pc(void *addr, void *pc) { … }
void __tsan_write16_pc(void *addr, void *pc) { … }
void __tsan_unaligned_read16(const void *addr) { … }
void __tsan_unaligned_write16(void *addr) { … }
extern "C" {
SANITIZER_INTERFACE_ATTRIBUTE
void *__tsan_get_current_fiber() { … }
SANITIZER_INTERFACE_ATTRIBUTE
void *__tsan_create_fiber(unsigned flags) { … }
SANITIZER_INTERFACE_ATTRIBUTE
void __tsan_destroy_fiber(void *fiber) { … }
SANITIZER_INTERFACE_ATTRIBUTE
void __tsan_switch_to_fiber(void *fiber, unsigned flags) { … }
SANITIZER_INTERFACE_ATTRIBUTE
void __tsan_set_fiber_name(void *fiber, const char *name) { … }
}
void __tsan_acquire(void *addr) { … }
void __tsan_release(void *addr) { … }