2017-11-29 Vladimir Makarov <vmakarov@redhat.com>
[official-gcc.git] / libsanitizer / tsan / tsan_platform_windows.cc
blob76883caabf1db26f3ded922f5ca752cceb57928c
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 //===----------------------------------------------------------------------===//
13 #include "sanitizer_common/sanitizer_platform.h"
14 #if SANITIZER_WINDOWS
16 #include "tsan_platform.h"
18 #include <stdlib.h>
20 namespace __tsan {
22 void FlushShadowMemory() {
25 void WriteMemoryProfile(char *buf, uptr buf_size, uptr nthread, uptr nlive) {
28 void InitializePlatformEarly() {
31 void InitializePlatform() {
34 } // namespace __tsan
36 #endif // SANITIZER_WINDOWS