]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/experimental/optional/constexpr/relops/5.cc
1 // { dg-do compile { target c++14 } }
3 // Copyright (C) 2013-2017 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
>;
62 using std::experimental::nullopt
;
66 static_assert( o
== nullopt
, "" );
67 static_assert( nullopt
== o
, "" );
68 static_assert( !(o
!= nullopt
), "" );
69 static_assert( !(nullopt
!= o
), "" );
73 constexpr O o
{ std::experimental::in_place
};
74 static_assert( !(o
== nullopt
), "" );
75 static_assert( !(nullopt
== o
), "" );
76 static_assert( o
!= nullopt
, "" );
77 static_assert( nullopt
!= o
, "" );