diff options
author | Pavel <operasfantom@gmail.com> | 2022-08-06 16:48:04 +0400 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-09-14 20:40:10 +0100 |
commit | e244b610b04afd81ef3ae47b3644fecc41ea4db1 (patch) | |
tree | bd51da091955ac47631cbe81e4d55316f37a3045 /runtime/Sanitizer/sanitizer_common | |
parent | 13564199937f2382ae3b0f585e4b876449e6d5c9 (diff) | |
download | klee-e244b610b04afd81ef3ae47b3644fecc41ea4db1.tar.gz |
Add notes about how to keep in sync runtime with LLVM project
Diffstat (limited to 'runtime/Sanitizer/sanitizer_common')
3 files changed, 15 insertions, 0 deletions
diff --git a/runtime/Sanitizer/sanitizer_common/sanitizer_common.h b/runtime/Sanitizer/sanitizer_common/sanitizer_common.h index ebb88600..7c1161f7 100644 --- a/runtime/Sanitizer/sanitizer_common/sanitizer_common.h +++ b/runtime/Sanitizer/sanitizer_common/sanitizer_common.h @@ -12,6 +12,12 @@ // Implementation of some functions are provided in sanitizer_common, while // others must be defined by run-time library itself. //===----------------------------------------------------------------------===// + +// NOTE: Needs to be kept in sync with +// compiler-rt/lib/sanitizer_common/sanitizer_common.h from LLVM project. +// But in fact, nothing was used form that header, so leave it as a wrapper for +// used internal headers. + #ifndef SANITIZER_COMMON_H #define SANITIZER_COMMON_H diff --git a/runtime/Sanitizer/sanitizer_common/sanitizer_internal_defs.h b/runtime/Sanitizer/sanitizer_common/sanitizer_internal_defs.h index d0817abe..a8ba685a 100644 --- a/runtime/Sanitizer/sanitizer_common/sanitizer_internal_defs.h +++ b/runtime/Sanitizer/sanitizer_common/sanitizer_internal_defs.h @@ -9,6 +9,11 @@ // This file is shared between AddressSanitizer and ThreadSanitizer. // It contains macro used in run-time libraries code. //===----------------------------------------------------------------------===// + +// NOTE: Needs to be kept in sync with +// compiler-rt/lib/sanitizer_common/sanitizer_internal_defs.h from LLVM project. +// But in fact, only typedefs for basic types were used, this is how it is. + #ifndef SANITIZER_DEFS_H #define SANITIZER_DEFS_H diff --git a/runtime/Sanitizer/sanitizer_common/sanitizer_platform.h b/runtime/Sanitizer/sanitizer_common/sanitizer_platform.h index 074d2b74..d912a0f0 100644 --- a/runtime/Sanitizer/sanitizer_common/sanitizer_platform.h +++ b/runtime/Sanitizer/sanitizer_common/sanitizer_platform.h @@ -9,6 +9,10 @@ // Common platform macros. //===----------------------------------------------------------------------===// +// NOTE: Needs to be kept in sync with +// compiler-rt/lib/sanitizer_common/sanitizer_platform.h from LLVM project. +// But in fact, only SANITIZER_WORDSIZE macro was used, so how it is. + #ifndef SANITIZER_PLATFORM_H #define SANITIZER_PLATFORM_H |