[libc++][ASan] Removing clang version checks

[AdvenamTacet]

This commit removes checks like _LIBCPP_CLANG_VER >= 1600 related to ASan annotations. As only 2 previous versions are supported, it's a TODO for LLVM18.

_LIBCPP_CLANG_VER is referenced in two more places (not related to ASan), I'm not sure if we should update it in the same PR.

llvm-project/libcxx/include/__atomic/atomic_init.h

Line 22 in b443992

# if defined(_LIBCPP_CLANG_VER) && _LIBCPP_CLANG_VER >= 1400

llvm-project/libcxx/include/__config

Lines 33 to 47 in b443992

	// Warn if a compiler version is used that is not supported anymore
	// LLVM RELEASE Update the minimum compiler versions
	# if defined(_LIBCPP_CLANG_VER)
	# if _LIBCPP_CLANG_VER < 1500
	# warning "Libc++ only supports Clang 15 and later"
	# endif
	# elif defined(_LIBCPP_APPLE_CLANG_VER)
	# if _LIBCPP_APPLE_CLANG_VER < 1500
	# warning "Libc++ only supports AppleClang 15 and later"
	# endif
	# elif defined(_LIBCPP_GCC_VER)
	# if _LIBCPP_GCC_VER < 1300
	# warning "Libc++ only supports GCC 13 and later"
	# endif
	# endif

[llvmbot]

@llvm/pr-subscribers-libcxx

Author: Tacet (AdvenamTacet)

Changes

This commit removes checks like _LIBCPP_CLANG_VER >= 1600 related to ASan annotations. As only 2 previous versions are supported, it's a TODO for LLVM18.

_LIBCPP_CLANG_VER is referenced in two more places (not related to ASan), I'm not sure if we should update it in the same PR.

llvm-project/libcxx/include/__atomic/atomic_init.h

Line 22 in b443992

# if defined(_LIBCPP_CLANG_VER) && _LIBCPP_CLANG_VER >= 1400

llvm-project/libcxx/include/__config

Lines 33 to 47 in b443992

	// Warn if a compiler version is used that is not supported anymore
	// LLVM RELEASE Update the minimum compiler versions
	# if defined(_LIBCPP_CLANG_VER)
	# if _LIBCPP_CLANG_VER < 1500
	# warning "Libc++ only supports Clang 15 and later"
	# endif
	# elif defined(_LIBCPP_APPLE_CLANG_VER)
	# if _LIBCPP_APPLE_CLANG_VER < 1500
	# warning "Libc++ only supports AppleClang 15 and later"
	# endif
	# elif defined(_LIBCPP_GCC_VER)
	# if _LIBCPP_GCC_VER < 1300
	# warning "Libc++ only supports GCC 13 and later"
	# endif
	# endif

---

Full diff: https://github.com/llvm/llvm-project/pull/71673.diff

4 Files Affected:

• (modified) libcxx/include/__config (-2)
• (modified) libcxx/include/__memory/allocator_traits.h (+1-8)
• (modified) libcxx/include/deque (+2-2)
• (modified) libcxx/test/support/asan_testing.h (+1-1)

diff --git a/libcxx/include/__config b/libcxx/include/__config
index b9b20fbfb271e8e..dd93448d68e2db2 100644
--- a/libcxx/include/__config
+++ b/libcxx/include/__config
@@ -1073,12 +1073,10 @@ _LIBCPP_BEGIN_NAMESPACE_STD _LIBCPP_END_NAMESPACE_STD
 #  ifndef _LIBCPP_HAS_NO_ASAN
     extern "C" _LIBCPP_EXPORTED_FROM_ABI void
     __sanitizer_annotate_contiguous_container(const void*, const void*, const void*, const void*);
-#    if _LIBCPP_CLANG_VER >= 1600
 extern "C" _LIBCPP_EXPORTED_FROM_ABI void __sanitizer_annotate_double_ended_contiguous_container(
     const void*, const void*, const void*, const void*, const void*, const void*);
 extern "C" _LIBCPP_EXPORTED_FROM_ABI int
 __sanitizer_verify_double_ended_contiguous_container(const void*, const void*, const void*, const void*);
-#    endif
 #  endif
 
 // Try to find out if RTTI is disabled.
diff --git a/libcxx/include/__memory/allocator_traits.h b/libcxx/include/__memory/allocator_traits.h
index 4658098d64c9d08..157254619ebeda6 100644
--- a/libcxx/include/__memory/allocator_traits.h
+++ b/libcxx/include/__memory/allocator_traits.h
@@ -408,14 +408,7 @@ struct __is_cpp17_copy_insertable<_Alloc, __enable_if_t<
 
 #ifdef _LIBCPP_HAS_ASAN_CONTAINER_ANNOTATIONS_FOR_ALL_ALLOCATORS
 template <class _Alloc>
-struct __asan_annotate_container_with_allocator
-#   if defined(_LIBCPP_CLANG_VER) && _LIBCPP_CLANG_VER >= 1600
-      : true_type {};
-#   else
-      // TODO(LLVM-18): Remove the special-casing
-      : false_type {};
-#   endif
-
+struct __asan_annotate_container_with_allocator : true_type {};
 template <class _Tp>
 struct __asan_annotate_container_with_allocator<allocator<_Tp> > : true_type {};
 #endif
diff --git a/libcxx/include/deque b/libcxx/include/deque
index 6b6d8e2bdda6682..d2ddce319567166 100644
--- a/libcxx/include/deque
+++ b/libcxx/include/deque
@@ -966,7 +966,7 @@ public:
 // __asan_annotate_container_with_allocator to false.
 // For more details, see the "Using libc++" documentation page or
 // the documentation for __sanitizer_annotate_contiguous_container.
-#if !defined(_LIBCPP_HAS_NO_ASAN) && _LIBCPP_CLANG_VER >= 1600
+#if !defined(_LIBCPP_HAS_NO_ASAN)
     // TODO LLVM18: Remove the special-casing
     _LIBCPP_HIDE_FROM_ABI void __annotate_double_ended_contiguous_container(
         const void* __beg,
@@ -982,7 +982,7 @@ public:
 #else
     _LIBCPP_HIDE_FROM_ABI void __annotate_double_ended_contiguous_container(
         const void*, const void*, const void*, const void*, const void*, const void*) const _NOEXCEPT {}
-#endif // !defined(_LIBCPP_HAS_NO_ASAN) && _LIBCPP_CLANG_VER >= 1600
+#endif // !defined(_LIBCPP_HAS_NO_ASAN)
 
     _LIBCPP_HIDE_FROM_ABI
     void __annotate_from_to(size_type __beg, size_type __end, __asan_annotation_type __annotation_type, __asan_annotation_place __place) const _NOEXCEPT {
diff --git a/libcxx/test/support/asan_testing.h b/libcxx/test/support/asan_testing.h
index d8e97af421139f2..759956ba687b46c 100644
--- a/libcxx/test/support/asan_testing.h
+++ b/libcxx/test/support/asan_testing.h
@@ -34,7 +34,7 @@ TEST_CONSTEXPR bool is_contiguous_container_asan_correct ( const std::vector<T,
 }
 #endif // TEST_HAS_FEATURE(address_sanitizer)
 
-#if TEST_HAS_FEATURE(address_sanitizer) && _LIBCPP_CLANG_VER >= 1600
+#if TEST_HAS_FEATURE(address_sanitizer)
 extern "C" int __sanitizer_verify_double_ended_contiguous_container(
     const void* beg, const void* con_beg, const void* con_end, const void* end);
 extern "C" bool __sanitizer_is_annotable(const void* address, const unsigned long size);

[ldionne]

Thanks for the cleanup!

[ldionne]

FWIW we can do the remaining _LIBCPP_CLANG_VER checks separately.