From 26c1f716ec0f800d5fe575f5eb6082d788736d4b Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Fri, 2 Jun 2017 00:44:20 +0300
Subject: [PATCH] Add test/variant_lt_gt

---
 test/Jamfile           |  1 +
 test/variant_lt_gt.cpp | 85 ++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 86 insertions(+)
 create mode 100644 test/variant_lt_gt.cpp

diff --git a/test/Jamfile b/test/Jamfile
index 4a68bfe..3dccee1 100644
--- a/test/Jamfile
+++ b/test/Jamfile
@@ -38,3 +38,4 @@ run variant_swap.cpp : : : $(REQ) ;
 run variant_eq_ne.cpp : : : $(REQ) ;
 run variant_destroy.cpp : : : $(REQ) ;
 run variant_visit.cpp : : : $(REQ) ;
+run variant_lt_gt.cpp : : : $(REQ) ;
diff --git a/test/variant_lt_gt.cpp b/test/variant_lt_gt.cpp
new file mode 100644
index 0000000..558052c
--- /dev/null
+++ b/test/variant_lt_gt.cpp
@@ -0,0 +1,85 @@
+
+// Copyright 2017 Peter Dimov.
+//
+// Distributed under the Boost Software License, Version 1.0.
+//
+// See accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt
+
+#include <boost/variant2/variant.hpp>
+#include <boost/core/lightweight_test.hpp>
+#include <boost/core/lightweight_test_trait.hpp>
+#include <type_traits>
+#include <utility>
+#include <string>
+
+using namespace boost::variant2;
+
+struct X
+{
+};
+
+inline bool operator<( X const&, X const& ) { return false; }
+inline bool operator>( X const&, X const& ) { return false; }
+inline bool operator<=( X const&, X const& ) { return false; }
+inline bool operator>=( X const&, X const& ) { return false; }
+
+#define TEST_EQ( v1, v2 ) \
+    BOOST_TEST_NOT( v1 < v2 ); \
+    BOOST_TEST_NOT( v1 > v2 ); \
+    BOOST_TEST( v1 <= v2 ); \
+    BOOST_TEST( v1 >= v2 );
+
+#define TEST_LE( v1, v3 ) \
+    BOOST_TEST( v1 < v3 ); \
+    BOOST_TEST( v3 > v1 ); \
+    BOOST_TEST_NOT( v1 > v3 ); \
+    BOOST_TEST_NOT( v3 < v1 ); \
+    BOOST_TEST( v1 <= v3 ); \
+    BOOST_TEST( v3 >= v1 ); \
+    BOOST_TEST_NOT( v1 >= v3 ); \
+    BOOST_TEST_NOT( v3 <= v1 );
+
+int main()
+{
+    {
+        variant<int> v1, v2, v3( 1 ), v4( 1 );
+
+        TEST_EQ( v1, v2 )
+        TEST_LE( v1, v3 )
+        TEST_EQ( v3, v4 )
+    }
+
+    {
+        variant<int, float> v1, v2, v3( 1 ), v4( 1 ), v5( 3.14f ), v6( 3.14f );
+
+        TEST_EQ( v1, v2 )
+        TEST_LE( v1, v3 )
+        TEST_EQ( v3, v4 )
+        TEST_LE( v1, v5 )
+        TEST_LE( v3, v5 )
+        TEST_EQ( v5, v6 )
+    }
+
+    {
+        variant<int, int, float> v1, v2, v3( in_place_index<1> ), v4( in_place_index<1> ), v5( 3.14f ), v6( 3.14f );
+
+        TEST_EQ( v1, v2 )
+        TEST_LE( v1, v3 )
+        TEST_EQ( v3, v4 )
+        TEST_LE( v1, v5 )
+        TEST_LE( v3, v5 )
+        TEST_EQ( v5, v6 )
+    }
+
+    {
+        variant<X> v1, v2;
+
+        BOOST_TEST_NOT( v1 < v2 );
+        BOOST_TEST_NOT( v1 > v2 );
+        BOOST_TEST_NOT( v1 <= v2 );
+        BOOST_TEST_NOT( v1 >= v2 );
+    }
+
+    return boost::report_errors();
+}