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 37