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