111
|
1 //===-- tsan_platform_windows.cc ------------------------------------------===//
|
|
2 //
|
|
3 // This file is distributed under the University of Illinois Open Source
|
|
4 // License. See LICENSE.TXT for details.
|
|
5 //
|
|
6 //===----------------------------------------------------------------------===//
|
|
7 //
|
|
8 // This file is a part of ThreadSanitizer (TSan), a race detector.
|
|
9 //
|
|
10 // Windows-specific code.
|
|
11 //===----------------------------------------------------------------------===//
|
|
12
|
|
13 #include "sanitizer_common/sanitizer_platform.h"
|
|
14 #if SANITIZER_WINDOWS
|
|
15
|
|
16 #include "tsan_platform.h"
|
|
17
|
|
18 #include <stdlib.h>
|
|
19
|
|
20 namespace __tsan {
|
|
21
|
|
22 void FlushShadowMemory() {
|
|
23 }
|
|
24
|
|
25 void WriteMemoryProfile(char *buf, uptr buf_size, uptr nthread, uptr nlive) {
|
|
26 }
|
|
27
|
|
28 void InitializePlatformEarly() {
|
|
29 }
|
|
30
|
|
31 void InitializePlatform() {
|
|
32 }
|
|
33
|
|
34 } // namespace __tsan
|
|
35
|
|
36 #endif // SANITIZER_WINDOWS
|