1 //===-- tsan_interface.h ----------------------------------------*- C++ -*-===//
3 // This file is distributed under the University of Illinois Open Source
4 // License. See LICENSE.TXT for details.
6 //===----------------------------------------------------------------------===//
8 // This file is a part of ThreadSanitizer (TSan), a race detector.
10 // The functions declared in this header will be inserted by the instrumentation
12 // This header can be included by the instrumented program or by TSan tests.
13 //===----------------------------------------------------------------------===//
14 #ifndef TSAN_INTERFACE_H
15 #define TSAN_INTERFACE_H
17 #include <sanitizer/common_interface_defs.h>
19 // This header should NOT include any other headers.
20 // All functions in this header are extern "C" and start with __tsan_.
26 // This function should be called at the very beginning of the process,
27 // before any instrumented code is executed and before any call to malloc.
28 void __tsan_init() SANITIZER_INTERFACE_ATTRIBUTE
;
30 void __tsan_read1(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
31 void __tsan_read2(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
32 void __tsan_read4(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
33 void __tsan_read8(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
34 void __tsan_read16(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
36 void __tsan_write1(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
37 void __tsan_write2(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
38 void __tsan_write4(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
39 void __tsan_write8(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
40 void __tsan_write16(void *addr
) SANITIZER_INTERFACE_ATTRIBUTE
;
42 void __tsan_vptr_update(void **vptr_p
, void *new_val
)
43 SANITIZER_INTERFACE_ATTRIBUTE
;
45 void __tsan_func_entry(void *call_pc
) SANITIZER_INTERFACE_ATTRIBUTE
;
46 void __tsan_func_exit() SANITIZER_INTERFACE_ATTRIBUTE
;
48 void __tsan_read_range(void *addr
, unsigned long size
) // NOLINT
49 SANITIZER_INTERFACE_ATTRIBUTE
;
50 void __tsan_write_range(void *addr
, unsigned long size
) // NOLINT
51 SANITIZER_INTERFACE_ATTRIBUTE
;
57 #endif // TSAN_INTERFACE_H