commit 4f215fdd62d3f014750339eab9a46946b6fb1c4a
author Konstantin Varlamov <varconsteq@gmail.com> Sat Jan 06 00:29:23 2024
committer GitHub <noreply@github.com> Sat Jan 06 00:29:23 2024
tree 8dd112e96f98e91c1bc5d3807508169a351b24ac
parent 5e54319b7be3e8aa035836098e0a9defc0a41c3a

[libc++][hardening] Categorize more assertions. (#75918)

Also introduce `_LIBCPP_ASSERT_PEDANTIC` for assertions violating which
results in a no-op or other benign behavior, but which may nevertheless
indicate a bug in the invoking code.

libcxx/src/memory_resource.cpp

diff --git a/libcxx/src/memory_resource.cpp b/libcxx/src/memory_resource.cpp
index afd1b89..42c3668 100644
--- a/libcxx/src/memory_resource.cpp
+++ b/libcxx/src/memory_resource.cpp
@@ -230,7 +230,7 @@
   }
 
   void* __allocate_in_new_chunk(memory_resource* upstream, size_t block_size, size_t chunk_size) {
-    _LIBCPP_ASSERT_UNCATEGORIZED(chunk_size % block_size == 0, "");
+    _LIBCPP_ASSERT_INTERNAL(chunk_size % block_size == 0, "");
     static_assert(__default_alignment >= alignof(std::max_align_t), "");
     static_assert(__default_alignment >= alignof(__chunk_footer), "");
     static_assert(__default_alignment >= alignof(__vacancy_header), "");