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/ubsan/ubsan_checks.inc | |
| 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/ubsan/ubsan_checks.inc')
| -rw-r--r-- | runtime/Sanitizer/ubsan/ubsan_checks.inc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/Sanitizer/ubsan/ubsan_checks.inc b/runtime/Sanitizer/ubsan/ubsan_checks.inc index a4235e96..35c64f41 100644 --- a/runtime/Sanitizer/ubsan/ubsan_checks.inc +++ b/runtime/Sanitizer/ubsan/ubsan_checks.inc @@ -10,6 +10,11 @@ // //===----------------------------------------------------------------------===// +// NOTE: Needs to be kept in sync with compiler-rt/lib/ubsan/ubsan_checks.inc +// from LLVM project. +// Especially new ErrorType to `get_suffix` function from ubsan_handlers.cpp and +// corresponding tests to test\Feature\ubsan directory should be added. + #include "klee/Config/Version.h" #ifndef UBSAN_CHECK |