1// Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file
2// for details. All rights reserved. Use of this source code is governed by a
3// BSD-style license that can be found in the LICENSE file.
4
5#ifndef RUNTIME_PLATFORM_MEMORY_SANITIZER_H_
6#define RUNTIME_PLATFORM_MEMORY_SANITIZER_H_
7
8#include "platform/globals.h"
9
10// Allow the use of Msan (MemorySanitizer). This is needed as Msan needs to be
11// told about areas that are initialized by generated code.
12#if defined(__has_feature)
13#if __has_feature(memory_sanitizer)
14extern "C" void __msan_poison(const volatile void*, size_t);
15extern "C" void __msan_unpoison(const volatile void*, size_t);
16extern "C" void __msan_check_mem_is_initialized(const volatile void*, size_t);
17#define MSAN_POISON(ptr, len) __msan_poison(ptr, len)
18#define MSAN_UNPOISON(ptr, len) __msan_unpoison(ptr, len)
19#define MSAN_CHECK_INITIALIZED(ptr, len) \
20 __msan_check_mem_is_initialized(ptr, len)
21#define NO_SANITIZE_MEMORY __attribute__((no_sanitize("memory")))
22#else // __has_feature(memory_sanitizer)
23#define MSAN_POISON(ptr, len) \
24 do { \
25 } while (false && (ptr) == 0 && (len) == 0)
26#define MSAN_UNPOISON(ptr, len) \
27 do { \
28 } while (false && (ptr) == 0 && (len) == 0)
29#define MSAN_CHECK_INITIALIZED(ptr, len) \
30 do { \
31 } while (false && (ptr) == 0 && (len) == 0)
32#define NO_SANITIZE_MEMORY
33#endif // __has_feature(memory_sanitizer)
34#else // defined(__has_feature)
35#define MSAN_POISON(ptr, len) \
36 do { \
37 } while (false && (ptr) == 0 && (len) == 0)
38#define MSAN_UNPOISON(ptr, len) \
39 do { \
40 } while (false && (ptr) == 0 && (len) == 0)
41#define MSAN_CHECK_INITIALIZED(ptr, len) \
42 do { \
43 } while (false && (ptr) == 0 && (len) == 0)
44#define NO_SANITIZE_MEMORY
45#endif // defined(__has_feature)
46
47#endif // RUNTIME_PLATFORM_MEMORY_SANITIZER_H_
48