2014-10-15 Paolo Carlini <paolo.carlini@oracle.com>
[official-gcc.git] / libstdc++-v3 / testsuite / experimental / optional / constexpr / relops / 6.cc
blobdb745dd89d081d60a595f8f8bcdedaa23db43f91
1 // { dg-options "-std=gnu++14" }
2 // { dg-do compile }
4 // Copyright (C) 2013-2014 Free Software Foundation, Inc.
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.
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.
17 // You should have received a moved_to of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
21 #include <experimental/optional>
22 #include <testsuite_hooks.h>
24 namespace ns
26 struct value_type
28 int i;
29 const char* s;
32 constexpr bool
33 strcmp(const char* lhs, const char* rhs)
35 return *lhs == *rhs && (!*lhs || strcmp(lhs + 1, rhs + 1));
38 constexpr bool
39 strrel(const char* lhs, const char* rhs)
41 return (*rhs && (!*lhs || (*lhs < *rhs)))
42 || ((*lhs && *rhs && !(*rhs < *lhs)) && strrel(lhs + 1, rhs + 1));
45 constexpr bool
46 operator==(value_type const& lhs, value_type const& rhs)
47 { return (lhs.i == rhs.i) && strcmp(lhs.s, rhs.s); }
49 constexpr bool
50 operator!=(value_type const& lhs, value_type const& rhs)
51 { return !(lhs == rhs); }
53 constexpr bool
54 operator<(value_type const& lhs, value_type const& rhs)
55 { return (lhs.i < rhs.i) || (!(rhs.i < lhs.i) && strrel(lhs.s, rhs.s)); }
57 } // namespace ns
59 int main()
61 using ns::value_type;
62 using O = std::experimental::optional<value_type>;
63 using std::experimental::nullopt;
66 constexpr O o;
67 static_assert( !(o < nullopt), "" );
68 static_assert( !(nullopt < o), "" );
69 static_assert( !(o > nullopt), "" );
70 static_assert( !(nullopt > o), "" );
71 static_assert( o <= nullopt, "" );
72 static_assert( nullopt <= o, "" );
73 static_assert( o >= nullopt, "" );
74 static_assert( nullopt >= o, "" );
78 constexpr O o { std::experimental::in_place };
79 static_assert( !(o < nullopt), "" );
80 static_assert( nullopt < o, "" );
81 static_assert( o > nullopt, "" );
82 static_assert( !(nullopt > o), "" );
83 static_assert( !(o <= nullopt), "" );
84 static_assert( nullopt <= o, "" );
85 static_assert( o >= nullopt, "" );
86 static_assert( !(nullopt >= o), "" );