diff options
| author | Pavel <operasfantom@gmail.com> | 2022-07-04 01:27:43 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-09-14 20:40:10 +0100 |
| commit | d14b7dc335f1dc31a53602cee48f05e415edbfe5 (patch) | |
| tree | 54fe78941225d94836d5baf109b98d858ae5734f /runtime/Sanitizer/ubsan/ubsan_checks.inc | |
| parent | f3f4736956bb906e480d7ba50e1836c611f26be7 (diff) | |
| download | klee-d14b7dc335f1dc31a53602cee48f05e415edbfe5.tar.gz | |
Remove LLVM version < 9
Diffstat (limited to 'runtime/Sanitizer/ubsan/ubsan_checks.inc')
| -rw-r--r-- | runtime/Sanitizer/ubsan/ubsan_checks.inc | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/runtime/Sanitizer/ubsan/ubsan_checks.inc b/runtime/Sanitizer/ubsan/ubsan_checks.inc index c32f7846..a4235e96 100644 --- a/runtime/Sanitizer/ubsan/ubsan_checks.inc +++ b/runtime/Sanitizer/ubsan/ubsan_checks.inc @@ -34,9 +34,7 @@ UBSAN_CHECK(NullptrAfterNonZeroOffset, "nullptr-after-nonzero-offset", #endif UBSAN_CHECK(PointerOverflow, "pointer-overflow", "pointer-overflow") UBSAN_CHECK(MisalignedPointerUse, "misaligned-pointer-use", "alignment") -#if LLVM_VERSION_MAJOR >= 8 UBSAN_CHECK(AlignmentAssumption, "alignment-assumption", "alignment") -#endif UBSAN_CHECK(InsufficientObjectSize, "insufficient-object-size", "object-size") UBSAN_CHECK(SignedIntegerOverflow, "signed-integer-overflow", "signed-integer-overflow") @@ -49,25 +47,18 @@ UBSAN_CHECK(InvalidBuiltin, "invalid-builtin-use", "invalid-builtin-use") #if LLVM_VERSION_MAJOR >= 11 UBSAN_CHECK(InvalidObjCCast, "invalid-objc-cast", "invalid-objc-cast") #endif -#if LLVM_VERSION_MAJOR >= 8 UBSAN_CHECK(ImplicitUnsignedIntegerTruncation, "implicit-unsigned-integer-truncation", "implicit-unsigned-integer-truncation") UBSAN_CHECK(ImplicitSignedIntegerTruncation, "implicit-signed-integer-truncation", "implicit-signed-integer-truncation") -#elif LLVM_VERSION_MAJOR >= 7 -UBSAN_CHECK(ImplicitIntegerTruncation, "implicit-integer-truncation", - "implicit-integer-truncation") -#endif -#if LLVM_VERSION_MAJOR >= 8 UBSAN_CHECK(ImplicitIntegerSignChange, "implicit-integer-sign-change", "implicit-integer-sign-change") UBSAN_CHECK(ImplicitSignedIntegerTruncationOrSignChange, "implicit-signed-integer-truncation-or-sign-change", "implicit-signed-integer-truncation,implicit-integer-sign-change") -#endif UBSAN_CHECK(InvalidShiftBase, "invalid-shift-base", "shift-base") UBSAN_CHECK(InvalidShiftExponent, "invalid-shift-exponent", "shift-exponent") UBSAN_CHECK(OutOfBoundsIndex, "out-of-bounds-index", "bounds") |