]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/experimental/optional/constexpr/relops/2.cc
1 // { dg-do compile { target c++14 } }
3 // Copyright (C) 2013-2019 Free Software Foundation, Inc.
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)
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.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
20 #include <experimental/optional>
21 #include <testsuite_hooks.h>
32 strcmp(const char* lhs
, const char* rhs
)
34 return *lhs
== *rhs
&& (!*lhs
|| strcmp(lhs
+ 1, rhs
+ 1));
38 strrel(const char* lhs
, const char* rhs
)
40 return (*rhs
&& (!*lhs
|| (*lhs
< *rhs
)))
41 || ((*lhs
&& *rhs
&& !(*rhs
< *lhs
)) && strrel(lhs
+ 1, rhs
+ 1));
45 operator==(value_type
const& lhs
, value_type
const& rhs
)
46 { return (lhs
.i
== rhs
.i
) && strcmp(lhs
.s
, rhs
.s
); }
49 operator!=(value_type
const& lhs
, value_type
const& rhs
)
50 { return !(lhs
== rhs
); }
53 operator<(value_type
const& lhs
, value_type
const& rhs
)
54 { return (lhs
.i
< rhs
.i
) || (!(rhs
.i
< lhs
.i
) && strrel(lhs
.s
, rhs
.s
)); }
61 using O
= std::experimental::optional
<value_type
>;
65 static_assert( !(o
< p
), "" );
66 static_assert( !(o
> p
), "" );
67 static_assert( o
<= p
, "" );
68 static_assert( o
>= p
, "" );
72 constexpr O o
{ value_type
{ 42, "forty-two" } }, p
;
73 static_assert( !(o
< p
), "" );
74 static_assert( o
> p
, "" );
75 static_assert( !(o
<= p
), "" );
76 static_assert( o
>= p
, "" );
80 constexpr O o
, p
{ value_type
{ 42, "forty-two" } };
81 static_assert( o
< p
, "" );
82 static_assert( !(o
> p
), "" );
83 static_assert( o
<= p
, "" );
84 static_assert( !(o
>= p
), "" );
88 constexpr O o
{ value_type
{ 11, "eleventy" } }, p
{ value_type
{ 42, "forty-two" } };
89 static_assert( o
< p
, "" );
90 static_assert( !(o
> p
), "" );
91 static_assert( o
<= p
, "" );
92 static_assert( !(o
>= p
), "" );
96 constexpr O o
{ value_type
{ 42, "forty-two" } }, p
{ value_type
{ 11, "eleventy" } };
97 static_assert( !(o
< p
), "" );
98 static_assert( o
> p
, "" );
99 static_assert( !(o
<= p
), "" );
100 static_assert( o
>= p
, "" );
104 constexpr O o
{ value_type
{ 42, "forty-two" } }, p
{ value_type
{ 42, "forty-two" } };
105 static_assert( !(o
< p
), "" );
106 static_assert( !(o
> p
), "" );
107 static_assert( o
<= p
, "" );
108 static_assert( o
>= p
, "" );