1 //===-- tsan_interface.h ----------------------------------------*- C++ -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file is a part of ThreadSanitizer (TSan), a race detector. 11 // 12 // The functions declared in this header will be inserted by the instrumentation 13 // module. 14 // This header can be included by the instrumented program or by TSan tests. 15 //===----------------------------------------------------------------------===// 16 #ifndef TSAN_INTERFACE_H 17 #define TSAN_INTERFACE_H 18 19 #include <sanitizer_common/sanitizer_internal_defs.h> 20 21 // This header should NOT include any other headers. 22 // All functions in this header are extern "C" and start with __tsan_. 23 24 #ifdef __cplusplus 25 extern "C" { 26 #endif 27 28 // This function should be called at the very beginning of the process, 29 // before any instrumented code is executed and before any call to malloc. 30 void __tsan_init() SANITIZER_INTERFACE_ATTRIBUTE; 31 32 void __tsan_read1(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 33 void __tsan_read2(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 34 void __tsan_read4(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 35 void __tsan_read8(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 36 void __tsan_read16(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 37 38 void __tsan_write1(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 39 void __tsan_write2(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 40 void __tsan_write4(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 41 void __tsan_write8(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 42 void __tsan_write16(void *addr) SANITIZER_INTERFACE_ATTRIBUTE; 43 44 void __tsan_vptr_update(void **vptr_p, void *new_val) 45 SANITIZER_INTERFACE_ATTRIBUTE; 46 47 void __tsan_func_entry(void *call_pc) SANITIZER_INTERFACE_ATTRIBUTE; 48 void __tsan_func_exit() SANITIZER_INTERFACE_ATTRIBUTE; 49 50 void __tsan_read_range(void *addr, unsigned long size) // NOLINT 51 SANITIZER_INTERFACE_ATTRIBUTE; 52 void __tsan_write_range(void *addr, unsigned long size) // NOLINT 53 SANITIZER_INTERFACE_ATTRIBUTE; 54 55 #ifdef __cplusplus 56 } // extern "C" 57 #endif 58 59 #endif // TSAN_INTERFACE_H 60
