1 files changed, 30 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/25_algorithms/minmax/constrained.cc b/libstdc++-v3/testsuite/25_algorithms/minmax/constrained.cc
index 90882afb6d0..59864043a0a 100644
--- a/libstdc++-v3/testsuite/25_algorithms/minmax/constrained.cc
+++ b/libstdc++-v3/testsuite/25_algorithms/minmax/constrained.cc
@@ -20,6 +20,7 @@
 
 #include <algorithm>
 #include <string>
+#include <utility>
 #include <vector>
 #include <testsuite_hooks.h>
 #include <testsuite_iterators.h>
@@ -129,6 +130,34 @@ test05()
   VERIFY( result.min == "a"s && result.max == "c"s );
 }
 
+struct A {
+  A() = delete;
+  A(int i) : i(i) { }
+  A(const A&) = default;
+  A(A&& other) : A(std::as_const(other)) { ++move_count; }
+  A& operator=(const A&) = default;
+  A& operator=(A&& other) {
+    ++move_count;
+    return *this = std::as_const(other);
+  };
+  friend auto operator<=>(const A&, const A&) = default;
+  static inline int move_count = 0;
+  int i;
+};
+
+void
+test06()
+{
+  // PR libstdc++/104858
+  // Verify ranges::minmax doesn't dereference the iterator for the first
+  // element in the range twice.
+  A a(42);
+  ranges::subrange r = {std::move_iterator(&a), std::move_sentinel(&a + 1)};
+  auto result = ranges::minmax(r);
+  VERIFY( A::move_count == 1 );
+  VERIFY( result.min.i == 42 && result.max.i == 42 );
+}
+
 int
 main()
 {
@@ -137,4 +166,5 @@ main()
   test03();
   test04();
   test05();
+  test06();
 }