]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/experimental/optional/relops/6.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / experimental / optional / relops / 6.cc
CommitLineData
52066eae 1// { dg-do run { target c++14 } }
2b5ab1e4 2
8d9254fc 3// Copyright (C) 2013-2020 Free Software Foundation, Inc.
2b5ab1e4
MB
4//
5// This file is part of the GNU ISO C++ Library. This library is free
6// software; you can redistribute it and/or modify it under the
7// terms of the GNU General Public License as published by the
8// Free Software Foundation; either version 3, or (at your option)
9// any later version.
10
11// This library is distributed in the hope that it will be useful,
12// but WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14// GNU General Public License for more details.
15
c7cbb4da 16// You should have received a copy of the GNU General Public License along
2b5ab1e4
MB
17// with this library; see the file COPYING3. If not see
18// <http://www.gnu.org/licenses/>.
19
20#include <experimental/optional>
21#include <testsuite_hooks.h>
22
23#include <tuple>
24#include <string>
25
26namespace ns
27{
28 struct value_type
29 {
30 int i;
31 std::string s;
32 };
33
34 bool
35 operator==(value_type const& lhs, value_type const& rhs)
36 { return std::tie(lhs.i, lhs.s) == std::tie(rhs.i, rhs.s); }
37
2b5ab1e4
MB
38 bool
39 operator<(value_type const& lhs, value_type const& rhs)
40 { return std::tie(lhs.i, lhs.s) < std::tie(rhs.i, rhs.s); }
41
42} // namespace ns
43
44int main()
45{
46 using ns::value_type;
47 using O = std::experimental::optional<value_type>;
48 using std::experimental::nullopt;
49
50 {
51 O o;
52 VERIFY( !(o < nullopt) );
53 VERIFY( !(nullopt < o) );
54 VERIFY( !(o > nullopt) );
55 VERIFY( !(nullopt > o) );
56 VERIFY( o <= nullopt );
57 VERIFY( nullopt <= o );
58 VERIFY( o >= nullopt );
59 VERIFY( nullopt >= o );
60 }
61
62 {
63 O o { std::experimental::in_place };
64 VERIFY( !(o < nullopt) );
65 VERIFY( nullopt < o );
66 VERIFY( o > nullopt );
67 VERIFY( !(nullopt > o) );
68 VERIFY( !(o <= nullopt) );
69 VERIFY( nullopt <= o );
70 VERIFY( o >= nullopt );
71 VERIFY( !(nullopt >= o) );
72 }
73}