From adcb15f02f5e4cadaa9162eeb8e1a8ccd7ac7a95 Mon Sep 17 00:00:00 2001
From: morzhovets <morzhovets@gmail.com>
Date: Tue, 28 Nov 2023 21:17:07 +0400
Subject: [PATCH] Update libcxx/map

---
 test/sources/LibcxxMapTests.h                 |  4 ++
 .../libcxx/map/iterator_types.pass.cpp        | 68 +++++++++++++++++++
 2 files changed, 72 insertions(+)
 create mode 100644 test/sources/libcxx/map/iterator_types.pass.cpp

diff --git a/test/sources/LibcxxMapTests.h b/test/sources/LibcxxMapTests.h
index bf29919d..15352287 100644
--- a/test/sources/LibcxxMapTests.h
+++ b/test/sources/LibcxxMapTests.h
@@ -28,6 +28,10 @@ LIBCXX_TEST_BEGIN(iterator_concept_conformance)
 #include "libcxx/map/iterator_concept_conformance.compile.pass.cpp"
 LIBCXX_TEST_END
 
+LIBCXX_TEST_BEGIN(iterator_types)
+#include "libcxx/map/iterator_types.pass.cpp"
+LIBCXX_TEST_END
+
 LIBCXX_TEST_BEGIN(range_concept_conformance)
 #include "libcxx/map/range_concept_conformance.compile.pass.cpp"
 LIBCXX_TEST_END
diff --git a/test/sources/libcxx/map/iterator_types.pass.cpp b/test/sources/libcxx/map/iterator_types.pass.cpp
new file mode 100644
index 00000000..d17f2090
--- /dev/null
+++ b/test/sources/libcxx/map/iterator_types.pass.cpp
@@ -0,0 +1,68 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// Modified for https://github.com/morzhovets/momo project.
+//
+//===----------------------------------------------------------------------===//
+
+
+template <class Map, class ValueTp, class PtrT, class CPtrT>
+void testMap() {
+  typedef typename Map::difference_type Diff;
+  {
+#ifdef LIBCPP_HAS_BAD_NEWS_FOR_MOMO
+    typedef typename Map::iterator It;
+#else
+    typedef std::iterator_traits<typename Map::iterator> It;
+#endif
+#ifdef LIBCPP_HAS_BAD_NEWS_FOR_MOMO
+    static_assert((std::is_same<typename It::value_type, ValueTp>::value), "");
+    static_assert((std::is_same<typename It::reference, ValueTp&>::value), "");
+    static_assert((std::is_same<typename It::pointer, PtrT>::value), "");
+#endif
+    static_assert((std::is_same<typename It::difference_type, Diff>::value), "");
+  }
+  {
+#ifdef LIBCPP_HAS_BAD_NEWS_FOR_MOMO
+    typedef typename Map::const_iterator It;
+#else
+    typedef std::iterator_traits<typename Map::const_iterator> It;
+#endif
+#ifdef LIBCPP_HAS_BAD_NEWS_FOR_MOMO
+    static_assert((std::is_same<typename It::value_type, ValueTp>::value), "");
+    static_assert((std::is_same<typename It::reference, ValueTp const&>::value), "");
+    static_assert((std::is_same<typename It::pointer, CPtrT>::value), "");
+#endif
+    static_assert((std::is_same<typename It::difference_type, Diff>::value), "");
+  }
+}
+
+
+int main(int, char**) {
+  {
+    typedef std::map<int, int> Map;
+    typedef std::pair<const int, int> ValueTp;
+    testMap<Map, ValueTp, ValueTp*, ValueTp const*>();
+  }
+  {
+    typedef std::pair<const int, int> ValueTp;
+    typedef test_allocator<ValueTp> Alloc;
+    typedef std::map<int, int, std::less<int>, Alloc> Map;
+    testMap<Map, ValueTp, ValueTp*, ValueTp const*>();
+  }
+#if TEST_STD_VER >= 11
+  {
+    typedef std::pair<const int, int> ValueTp;
+    typedef min_allocator<ValueTp> Alloc;
+    typedef std::map<int, int, std::less<int>, Alloc> Map;
+    testMap<Map, ValueTp, min_pointer<ValueTp>, min_pointer<const ValueTp>>();
+  }
+#endif
+
+  return 0;
+}