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