]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/experimental/optional/relops/3.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / experimental / optional / relops / 3.cc
CommitLineData
be58e01d 1// { dg-do run { target c++14 } }
e3f166cf 2
fbd26352 3// Copyright (C) 2013-2019 Free Software Foundation, Inc.
e3f166cf 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
a9aab74c 16// You should have received a copy of the GNU General Public License along
e3f166cf 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
e3f166cf 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
49 value_type const reference { 42, "forty-two" };
50
51 {
52 O o;
53 VERIFY( !(o == reference) );
54 VERIFY( !(reference == o) );
55 VERIFY( o != reference );
56 VERIFY( reference != o );
57 }
58
59 {
60 O o { value_type { 11, "eleventy" } };
61 VERIFY( !(o == reference) );
62 VERIFY( !(reference == o) );
63 VERIFY( o != reference );
64 VERIFY( reference != o );
65 }
66
67 {
68 O o { value_type { 42, "forty-two" } };
69 VERIFY( o == reference );
70 VERIFY( reference == o );
71 VERIFY( !(o != reference) );
72 VERIFY( !(reference != o) );
73 }
74}