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 
FlushShadowMemory()22 void FlushShadowMemory() {
23 }
24 
WriteMemoryProfile(char * buf,uptr buf_size,uptr nthread,uptr nlive)25 void WriteMemoryProfile(char *buf, uptr buf_size, uptr nthread, uptr nlive) {
26 }
27 
InitializePlatformEarly()28 void InitializePlatformEarly() {
29 }
30 
InitializePlatform()31 void InitializePlatform() {
32 }
33 
34 }  // namespace __tsan
35 
36 #endif  // SANITIZER_WINDOWS
37