[all-commits] [llvm/llvm-project] 4122db: [libc++][hardening] Categorize most assertions ins...

[Konstantin Varlamov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4122db1fbdeb7a9c5a7c8f0cd7afedd53754eaad
      https://github.com/llvm/llvm-project/commit/4122db1fbdeb7a9c5a7c8f0cd7afedd53754eaad
  Author: varconst <varconsteq at gmail.com>
  Date:   2023-07-20 (Thu, 20 Jul 2023)

  Changed paths:
    M libcxx/include/__config
    M libcxx/include/__expected/expected.h
    M libcxx/include/__functional/function.h
    M libcxx/include/__iterator/bounded_iter.h
    M libcxx/include/__mdspan/extents.h
    M libcxx/include/__tree
    M libcxx/include/array
    M libcxx/include/deque
    M libcxx/include/list
    M libcxx/include/map
    M libcxx/include/optional
    M libcxx/include/span
    M libcxx/include/string
    M libcxx/include/string_view
    M libcxx/include/unordered_map
    M libcxx/include/unordered_set
    M libcxx/include/vector

  Log Message:
  -----------
  [libc++][hardening] Categorize most assertions inside the container classes.

This introduces:
- `_LIBCPP_ASSERT_VALID_INPUT_RANGE`;
- `_LIBCPP_ASSERT_VALID_CONTAINER_ACCESS`;
- `_LIBCPP_ASSERT_VALID_ITERATOR_ACCESS`;
- `_LIBCPP_ASSERT_VALID_ALLOCATOR`;
- `_LIBCPP_ASSERT_INTERNAL`.

Differential Revision: https://reviews.llvm.org/D155349