[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 21_strings / basic_string_view / operators / char / 2.cc

// { dg-options "-std=gnu++17" }

// Copyright (C) 2013-2020 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3.  If not see
// <http://www.gnu.org/licenses/>.

// basic_string non-member functions

// operator==
/*
template<class charT, class traits, class Allocator>
  bool operator==(const basic_string<charT,traits,Allocator>& lhs,
                  const basic_string<charT,traits,Allocator>& rhs);

template<class charT, class traits, class Allocator>
  bool operator==(const charT* lhs,
                  const basic_string<charT,traits,Allocator>& rhs);

template<class charT, class traits, class Allocator>
  bool operator==(const basic_string<charT,traits,Allocator>& lhs,
                  const charT* rhs);
*/

// operator!=
/*
template<class charT, class traits, class Allocator>
  bool operator!=(const basic_string<charT,traits,Allocator>& lhs,
                  const basic_string<charT,traits,Allocator>& rhs);

template<class charT, class traits, class Allocator>
  bool operator!=(const charT* lhs,
                  const basic_string<charT,traits,Allocator>& rhs);

template<class charT, class traits, class Allocator>
  bool operator!=(const basic_string<charT,traits,Allocator>& lhs, 
                  const charT* rhs);
*/

// operator<
/*
template<class charT, class traits, class Allocator>
  bool operator< (const basic_string<charT,traits,Allocator>& lhs,
                  const basic_string<charT,traits,Allocator>& rhs);

template<class charT, class traits, class Allocator>
  bool operator< (const basic_string<charT,traits,Allocator>& lhs,
                  const charT* rhs);

template<class charT, class traits, class Allocator>
  bool operator< (const charT* lhs, 
                  const basic_string<charT,traits,Allocator>& rhs);
*/

// operator>
/*
template<class charT, class traits, class Allocator>
  bool operator> (const basic_string<charT,traits,Allocator>& lhs,
                  const basic_string<charT,traits,Allocator>& rhs);

template<class charT, class traits, class Allocator>
  bool operator> (const basic_string<charT,traits,Allocator>& lhs,
                  const charT* rhs);

template<class charT, class traits, class Allocator>
  bool operator> (const charT* lhs,
                  const basic_string<charT,traits,Allocator>& rhs);
*/

// operator<=
/*
template<class charT, class traits, class Allocator>
  bool operator<=(const basic_string<charT,traits,Allocator>& lhs,
                  const basic_string<charT,traits,Allocator>& rhs);

template<class charT, class traits, class Allocator>
  bool operator<=(const basic_string<charT,traits,Allocator>& lhs,
                  const charT* rhs);

template<class charT, class traits, class Allocator>
  bool operator<=(const charT* lhs,
                  const basic_string<charT,traits,Allocator>& rhs);
*/

// operator>=
/*
template<class charT, class traits, class Allocator>
  bool operator>=(const basic_string<charT,traits,Allocator>& lhs,
                const basic_string<charT,traits,Allocator>& rhs);

template<class charT, class traits, class Allocator>
  bool operator>=(const basic_string<charT,traits,Allocator>& lhs,
                  const charT* rhs);

template<class charT, class traits, class Allocator>
  bool operator>=(const charT* lhs,
                  const basic_string<charT,traits,Allocator>& rhs);
*/

#include <string_view>
#include <testsuite_hooks.h>

void
test01()
{
  std::string_view 	str_0("costa rica");
  std::string_view 	str_1("costa marbella");
  std::string_view 	str_2("cost");
  std::string_view	str_3("costa ricans");
  std::string_view        str_4;

  str_4 = str_0;
  //comparisons between string objects
  VERIFY( !(str_0 == str_1) );
  VERIFY( !(str_0 == str_2) );
  VERIFY( !(str_0 == str_3) );
  VERIFY( !(str_1 == str_0) );
  VERIFY( !(str_2 == str_0) );
  VERIFY( !(str_3 == str_0) );
  VERIFY( str_4 == str_0 );
  VERIFY( str_0 == str_4 );

  VERIFY( str_0 != str_1 );
  VERIFY( str_0 != str_2 );
  VERIFY( str_0 != str_3 );
  VERIFY( str_1 != str_0 );
  VERIFY( str_2 != str_0 );
  VERIFY( str_3 != str_0 );
  VERIFY( !(str_0 != str_4) );
  VERIFY( !(str_4 != str_0) );

  VERIFY( str_0 > str_1 ); //true cuz r>m
  VERIFY( str_0 > str_2 );
  VERIFY( !(str_0 > str_3) );
  VERIFY( !(str_1 > str_0) ); //false cuz m<r
  VERIFY( !(str_2 > str_0) );
  VERIFY( str_3 > str_0 );
  VERIFY( !(str_0 > str_4) );
  VERIFY( !(str_4 > str_0) );

  VERIFY( !(str_0 < str_1) ); //false cuz r>m
  VERIFY( !(str_0 < str_2) );
  VERIFY( str_0 < str_3 );
  VERIFY( str_1 < str_0 ); //true cuz m<r
  VERIFY( str_2 < str_0 );
  VERIFY( !(str_3 < str_0) );
  VERIFY( !(str_0 < str_4) );
  VERIFY( !(str_4 < str_0) );

  VERIFY( str_0 >= str_1 ); //true cuz r>m
  VERIFY( str_0 >= str_2 );
  VERIFY( !(str_0 >= str_3) );
  VERIFY( !(str_1 >= str_0) );//false cuz m<r
  VERIFY( !(str_2 >= str_0) );
  VERIFY( str_3 >= str_0 );
  VERIFY( str_0 >= str_4 );
  VERIFY( str_4 >= str_0 );

  VERIFY( !(str_0 <= str_1) );//false cuz r>m
  VERIFY( !(str_0 <= str_2) );
  VERIFY( str_0 <= str_3 );
  VERIFY( str_1 <= str_0 );//true cuz m<r
  VERIFY( str_2 <= str_0 );
  VERIFY( !(str_3 <= str_0) );
  VERIFY( str_0 <= str_4 );
  VERIFY( str_4 <= str_0 );

  //comparisons between string object and string literal
  VERIFY( !(str_0 == "costa marbella") );
  VERIFY( !(str_0 == "cost") );
  VERIFY( !(str_0 == "costa ricans") );
  VERIFY( !("costa marbella" == str_0) );
  VERIFY( !("cost" == str_0) );
  VERIFY( !("costa ricans" == str_0) );
  VERIFY( "costa rica" == str_0 );
  VERIFY( str_0 == "costa rica" );

  VERIFY( str_0 != "costa marbella" );
  VERIFY( str_0 != "cost" );
  VERIFY( str_0 != "costa ricans" );
  VERIFY( "costa marbella" != str_0 );
  VERIFY( "cost" != str_0 );
  VERIFY( "costa ricans" != str_0 );
  VERIFY( !("costa rica" != str_0) );
  VERIFY( !(str_0 != "costa rica") );

  VERIFY( str_0 > "costa marbella" ); //true cuz r>m
  VERIFY( str_0 > "cost" );
  VERIFY( !(str_0 > "costa ricans") );
  VERIFY( !("costa marbella" > str_0) );//false cuz m<r
  VERIFY( !("cost" > str_0) );
  VERIFY( "costa ricans" > str_0 );
  VERIFY( !("costa rica" > str_0) );
  VERIFY( !(str_0 > "costa rica") );

  VERIFY( !(str_0 < "costa marbella") );//false cuz r>m
  VERIFY( !(str_0 < "cost") );
  VERIFY( str_0 < "costa ricans" );
  VERIFY( "costa marbella" < str_0 );//true cuz m<r
  VERIFY( "cost" < str_0 );
  VERIFY( !("costa ricans" < str_0) );
  VERIFY( !("costa rica" < str_0) );
  VERIFY( !(str_0 < "costa rica") );

  VERIFY( str_0 >= "costa marbella" );//true cuz r>m
  VERIFY( str_0 >= "cost" );
  VERIFY( !(str_0 >= "costa ricans") );
  VERIFY( !("costa marbella" >= str_0) );//false cuz m<r
  VERIFY( !("cost" >= str_0) );
  VERIFY( "costa ricans" >= str_0 );
  VERIFY( "costa rica" >= str_0 );
  VERIFY( str_0 >= "costa rica" );

  VERIFY( !(str_0 <= "costa marbella") );//false cuz r>m
  VERIFY( !(str_0 <= "cost") );
  VERIFY( str_0 <= "costa ricans" );
  VERIFY( "costa marbella" <= str_0 );//true cuz m<r
  VERIFY( "cost" <= str_0 );
  VERIFY( !("costa ricans" <= str_0) );
  VERIFY( "costa rica" <= str_0 );
  VERIFY( str_0 <= "costa rica" );
}

constexpr bool
test02()
{
  std::string_view 	str_0("costa rica");
  std::string_view 	str_1("costa marbella");
  std::string_view 	str_2("cost");
  std::string_view	str_3("costa ricans");
  std::string_view        str_4;

#undef VERIFY
#define VERIFY(x) if (!(x)) return false

  str_4 = str_0;
  //comparisons between string objects
  VERIFY( !(str_0 == str_1) );
  VERIFY( !(str_0 == str_2) );
  VERIFY( !(str_0 == str_3) );
  VERIFY( !(str_1 == str_0) );
  VERIFY( !(str_2 == str_0) );
  VERIFY( !(str_3 == str_0) );
  VERIFY( str_4 == str_0 );
  VERIFY( str_0 == str_4 );

  VERIFY( str_0 != str_1 );
  VERIFY( str_0 != str_2 );
  VERIFY( str_0 != str_3 );
  VERIFY( str_1 != str_0 );
  VERIFY( str_2 != str_0 );
  VERIFY( str_3 != str_0 );
  VERIFY( !(str_0 != str_4) );
  VERIFY( !(str_4 != str_0) );

  VERIFY( str_0 > str_1 ); //true cuz r>m
  VERIFY( str_0 > str_2 );
  VERIFY( !(str_0 > str_3) );
  VERIFY( !(str_1 > str_0) ); //false cuz m<r
  VERIFY( !(str_2 > str_0) );
  VERIFY( str_3 > str_0 );
  VERIFY( !(str_0 > str_4) );
  VERIFY( !(str_4 > str_0) );

  VERIFY( !(str_0 < str_1) ); //false cuz r>m
  VERIFY( !(str_0 < str_2) );
  VERIFY( str_0 < str_3 );
  VERIFY( str_1 < str_0 ); //true cuz m<r
  VERIFY( str_2 < str_0 );
  VERIFY( !(str_3 < str_0) );
  VERIFY( !(str_0 < str_4) );
  VERIFY( !(str_4 < str_0) );

  VERIFY( str_0 >= str_1 ); //true cuz r>m
  VERIFY( str_0 >= str_2 );
  VERIFY( !(str_0 >= str_3) );
  VERIFY( !(str_1 >= str_0) );//false cuz m<r
  VERIFY( !(str_2 >= str_0) );
  VERIFY( str_3 >= str_0 );
  VERIFY( str_0 >= str_4 );
  VERIFY( str_4 >= str_0 );

  VERIFY( !(str_0 <= str_1) );//false cuz r>m
  VERIFY( !(str_0 <= str_2) );
  VERIFY( str_0 <= str_3 );
  VERIFY( str_1 <= str_0 );//true cuz m<r
  VERIFY( str_2 <= str_0 );
  VERIFY( !(str_3 <= str_0) );
  VERIFY( str_0 <= str_4 );
  VERIFY( str_4 <= str_0 );

  //comparisons between string object and string literal
  VERIFY( !(str_0 == "costa marbella") );
  VERIFY( !(str_0 == "cost") );
  VERIFY( !(str_0 == "costa ricans") );
  VERIFY( !("costa marbella" == str_0) );
  VERIFY( !("cost" == str_0) );
  VERIFY( !("costa ricans" == str_0) );
  VERIFY( "costa rica" == str_0 );
  VERIFY( str_0 == "costa rica" );

  VERIFY( str_0 != "costa marbella" );
  VERIFY( str_0 != "cost" );
  VERIFY( str_0 != "costa ricans" );
  VERIFY( "costa marbella" != str_0 );
  VERIFY( "cost" != str_0 );
  VERIFY( "costa ricans" != str_0 );
  VERIFY( !("costa rica" != str_0) );
  VERIFY( !(str_0 != "costa rica") );

  VERIFY( str_0 > "costa marbella" ); //true cuz r>m
  VERIFY( str_0 > "cost" );
  VERIFY( !(str_0 > "costa ricans") );
  VERIFY( !("costa marbella" > str_0) );//false cuz m<r
  VERIFY( !("cost" > str_0) );
  VERIFY( "costa ricans" > str_0 );
  VERIFY( !("costa rica" > str_0) );
  VERIFY( !(str_0 > "costa rica") );

  VERIFY( !(str_0 < "costa marbella") );//false cuz r>m
  VERIFY( !(str_0 < "cost") );
  VERIFY( str_0 < "costa ricans" );
  VERIFY( "costa marbella" < str_0 );//true cuz m<r
  VERIFY( "cost" < str_0 );
  VERIFY( !("costa ricans" < str_0) );
  VERIFY( !("costa rica" < str_0) );
  VERIFY( !(str_0 < "costa rica") );

  VERIFY( str_0 >= "costa marbella" );//true cuz r>m
  VERIFY( str_0 >= "cost" );
  VERIFY( !(str_0 >= "costa ricans") );
  VERIFY( !("costa marbella" >= str_0) );//false cuz m<r
  VERIFY( !("cost" >= str_0) );
  VERIFY( "costa ricans" >= str_0 );
  VERIFY( "costa rica" >= str_0 );
  VERIFY( str_0 >= "costa rica" );

  VERIFY( !(str_0 <= "costa marbella") );//false cuz r>m
  VERIFY( !(str_0 <= "cost") );
  VERIFY( str_0 <= "costa ricans" );
  VERIFY( "costa marbella" <= str_0 );//true cuz m<r
  VERIFY( "cost" <= str_0 );
  VERIFY( !("costa ricans" <= str_0) );
  VERIFY( "costa rica" <= str_0 );
  VERIFY( str_0 <= "costa rica" );

  return true;
}

int
main()
{
  test01();
  static_assert( test02() );
}
Commit	Line	Data
ca8f2cb1 VV	1	// { dg-options "-std=gnu++17" }
ca8f2cb1 VV	2
8d9254fc	3	// Copyright (C) 2013-2020 Free Software Foundation, Inc.
ca8f2cb1 VV	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
	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/>.
	19
	20	// basic_string non-member functions
	21
	22	// operator==
	23	/*
	24	template<class charT, class traits, class Allocator>
	25	bool operator==(const basic_string<charT,traits,Allocator>& lhs,
	26	const basic_string<charT,traits,Allocator>& rhs);
	27
	28	template<class charT, class traits, class Allocator>
	29	bool operator==(const charT* lhs,
	30	const basic_string<charT,traits,Allocator>& rhs);
	31
	32	template<class charT, class traits, class Allocator>
	33	bool operator==(const basic_string<charT,traits,Allocator>& lhs,
	34	const charT* rhs);
	35	*/
	36
	37	// operator!=
	38	/*
	39	template<class charT, class traits, class Allocator>
	40	bool operator!=(const basic_string<charT,traits,Allocator>& lhs,
	41	const basic_string<charT,traits,Allocator>& rhs);
	42
	43	template<class charT, class traits, class Allocator>
	44	bool operator!=(const charT* lhs,
	45	const basic_string<charT,traits,Allocator>& rhs);
	46
	47	template<class charT, class traits, class Allocator>
	48	bool operator!=(const basic_string<charT,traits,Allocator>& lhs,
	49	const charT* rhs);
	50	*/
	51
	52	// operator<
	53	/*
	54	template<class charT, class traits, class Allocator>
	55	bool operator< (const basic_string<charT,traits,Allocator>& lhs,
	56	const basic_string<charT,traits,Allocator>& rhs);
	57
	58	template<class charT, class traits, class Allocator>
	59	bool operator< (const basic_string<charT,traits,Allocator>& lhs,
	60	const charT* rhs);
	61
	62	template<class charT, class traits, class Allocator>
	63	bool operator< (const charT* lhs,
	64	const basic_string<charT,traits,Allocator>& rhs);
	65	*/
	66
	67	// operator>
68	/*
69	template<class charT, class traits, class Allocator>
70	bool operator> (const basic_string<charT,traits,Allocator>& lhs,
71	const basic_string<charT,traits,Allocator>& rhs);
72
73	template<class charT, class traits, class Allocator>
74	bool operator> (const basic_string<charT,traits,Allocator>& lhs,
75	const charT* rhs);
76
77	template<class charT, class traits, class Allocator>
78	bool operator> (const charT* lhs,
79	const basic_string<charT,traits,Allocator>& rhs);
80	*/
81
82	// operator<=
83	/*
84	template<class charT, class traits, class Allocator>
85	bool operator<=(const basic_string<charT,traits,Allocator>& lhs,
86	const basic_string<charT,traits,Allocator>& rhs);
87
88	template<class charT, class traits, class Allocator>
89	bool operator<=(const basic_string<charT,traits,Allocator>& lhs,
90	const charT* rhs);
91
92	template<class charT, class traits, class Allocator>
93	bool operator<=(const charT* lhs,
94	const basic_string<charT,traits,Allocator>& rhs);
95	*/
96
97	// operator>=
98	/*
99	template<class charT, class traits, class Allocator>
100	bool operator>=(const basic_string<charT,traits,Allocator>& lhs,
101	const basic_string<charT,traits,Allocator>& rhs);
102
103	template<class charT, class traits, class Allocator>
104	bool operator>=(const basic_string<charT,traits,Allocator>& lhs,
105	const charT* rhs);
106
107	template<class charT, class traits, class Allocator>
108	bool operator>=(const charT* lhs,
109	const basic_string<charT,traits,Allocator>& rhs);
110	*/
111
112	#include <string_view>
113	#include <testsuite_hooks.h>
114
c5ae1a27	115	void
ca8f2cb1 VV	116	test01()
ca8f2cb1 VV	117	{
ca8f2cb1 VV	118	std::string_view str_0("costa rica");
	119	std::string_view str_1("costa marbella");
	120	std::string_view str_2("cost");
	121	std::string_view str_3("costa ricans");
	122	std::string_view str_4;
c5ae1a27 JW	123
	124	str_4 = str_0;
	125	//comparisons between string objects
	126	VERIFY( !(str_0 == str_1) );
	127	VERIFY( !(str_0 == str_2) );
	128	VERIFY( !(str_0 == str_3) );
	129	VERIFY( !(str_1 == str_0) );
	130	VERIFY( !(str_2 == str_0) );
	131	VERIFY( !(str_3 == str_0) );
	132	VERIFY( str_4 == str_0 );
	133	VERIFY( str_0 == str_4 );
	134
	135	VERIFY( str_0 != str_1 );
	136	VERIFY( str_0 != str_2 );
	137	VERIFY( str_0 != str_3 );
	138	VERIFY( str_1 != str_0 );
	139	VERIFY( str_2 != str_0 );
	140	VERIFY( str_3 != str_0 );
	141	VERIFY( !(str_0 != str_4) );
	142	VERIFY( !(str_4 != str_0) );
	143
	144	VERIFY( str_0 > str_1 ); //true cuz r>m
	145	VERIFY( str_0 > str_2 );
	146	VERIFY( !(str_0 > str_3) );
	147	VERIFY( !(str_1 > str_0) ); //false cuz m<r
	148	VERIFY( !(str_2 > str_0) );
	149	VERIFY( str_3 > str_0 );
	150	VERIFY( !(str_0 > str_4) );
	151	VERIFY( !(str_4 > str_0) );
	152
	153	VERIFY( !(str_0 < str_1) ); //false cuz r>m
	154	VERIFY( !(str_0 < str_2) );
	155	VERIFY( str_0 < str_3 );
	156	VERIFY( str_1 < str_0 ); //true cuz m<r
	157	VERIFY( str_2 < str_0 );
	158	VERIFY( !(str_3 < str_0) );
	159	VERIFY( !(str_0 < str_4) );
	160	VERIFY( !(str_4 < str_0) );
	161
	162	VERIFY( str_0 >= str_1 ); //true cuz r>m
	163	VERIFY( str_0 >= str_2 );
	164	VERIFY( !(str_0 >= str_3) );
	165	VERIFY( !(str_1 >= str_0) );//false cuz m<r
	166	VERIFY( !(str_2 >= str_0) );
	167	VERIFY( str_3 >= str_0 );
	168	VERIFY( str_0 >= str_4 );
	169	VERIFY( str_4 >= str_0 );
	170
	171	VERIFY( !(str_0 <= str_1) );//false cuz r>m
	172	VERIFY( !(str_0 <= str_2) );
	173	VERIFY( str_0 <= str_3 );
	174	VERIFY( str_1 <= str_0 );//true cuz m<r
	175	VERIFY( str_2 <= str_0 );
	176	VERIFY( !(str_3 <= str_0) );
	177	VERIFY( str_0 <= str_4 );
	178	VERIFY( str_4 <= str_0 );
	179
	180	//comparisons between string object and string literal
	181	VERIFY( !(str_0 == "costa marbella") );
	182	VERIFY( !(str_0 == "cost") );
	183	VERIFY( !(str_0 == "costa ricans") );
	184	VERIFY( !("costa marbella" == str_0) );
	185	VERIFY( !("cost" == str_0) );
	186	VERIFY( !("costa ricans" == str_0) );
187	VERIFY( "costa rica" == str_0 );
188	VERIFY( str_0 == "costa rica" );
189
190	VERIFY( str_0 != "costa marbella" );
191	VERIFY( str_0 != "cost" );
192	VERIFY( str_0 != "costa ricans" );
193	VERIFY( "costa marbella" != str_0 );
194	VERIFY( "cost" != str_0 );
195	VERIFY( "costa ricans" != str_0 );
196	VERIFY( !("costa rica" != str_0) );
197	VERIFY( !(str_0 != "costa rica") );
198
199	VERIFY( str_0 > "costa marbella" ); //true cuz r>m
200	VERIFY( str_0 > "cost" );
201	VERIFY( !(str_0 > "costa ricans") );
202	VERIFY( !("costa marbella" > str_0) );//false cuz m<r
203	VERIFY( !("cost" > str_0) );
204	VERIFY( "costa ricans" > str_0 );
205	VERIFY( !("costa rica" > str_0) );
206	VERIFY( !(str_0 > "costa rica") );
207
208	VERIFY( !(str_0 < "costa marbella") );//false cuz r>m
209	VERIFY( !(str_0 < "cost") );
210	VERIFY( str_0 < "costa ricans" );
211	VERIFY( "costa marbella" < str_0 );//true cuz m<r
212	VERIFY( "cost" < str_0 );
213	VERIFY( !("costa ricans" < str_0) );
214	VERIFY( !("costa rica" < str_0) );
215	VERIFY( !(str_0 < "costa rica") );
216
217	VERIFY( str_0 >= "costa marbella" );//true cuz r>m
218	VERIFY( str_0 >= "cost" );
219	VERIFY( !(str_0 >= "costa ricans") );
220	VERIFY( !("costa marbella" >= str_0) );//false cuz m<r
221	VERIFY( !("cost" >= str_0) );
222	VERIFY( "costa ricans" >= str_0 );
223	VERIFY( "costa rica" >= str_0 );
224	VERIFY( str_0 >= "costa rica" );
225
226	VERIFY( !(str_0 <= "costa marbella") );//false cuz r>m
227	VERIFY( !(str_0 <= "cost") );
228	VERIFY( str_0 <= "costa ricans" );
229	VERIFY( "costa marbella" <= str_0 );//true cuz m<r
230	VERIFY( "cost" <= str_0 );
231	VERIFY( !("costa ricans" <= str_0) );
232	VERIFY( "costa rica" <= str_0 );
233	VERIFY( str_0 <= "costa rica" );
234	}
235
236	constexpr bool
237	test02()
238	{
239	std::string_view str_0("costa rica");
240	std::string_view str_1("costa marbella");
241	std::string_view str_2("cost");
242	std::string_view str_3("costa ricans");
243	std::string_view str_4;
244
245	#undef VERIFY
246	#define VERIFY(x) if (!(x)) return false
247
ca8f2cb1 VV	248	str_4 = str_0;
	249	//comparisons between string objects
	250	VERIFY( !(str_0 == str_1) );
	251	VERIFY( !(str_0 == str_2) );
	252	VERIFY( !(str_0 == str_3) );
	253	VERIFY( !(str_1 == str_0) );
	254	VERIFY( !(str_2 == str_0) );
	255	VERIFY( !(str_3 == str_0) );
	256	VERIFY( str_4 == str_0 );
	257	VERIFY( str_0 == str_4 );
	258
	259	VERIFY( str_0 != str_1 );
	260	VERIFY( str_0 != str_2 );
	261	VERIFY( str_0 != str_3 );
	262	VERIFY( str_1 != str_0 );
	263	VERIFY( str_2 != str_0 );
	264	VERIFY( str_3 != str_0 );
	265	VERIFY( !(str_0 != str_4) );
	266	VERIFY( !(str_4 != str_0) );
c5ae1a27	267
ca8f2cb1 VV	268	VERIFY( str_0 > str_1 ); //true cuz r>m
	269	VERIFY( str_0 > str_2 );
	270	VERIFY( !(str_0 > str_3) );
	271	VERIFY( !(str_1 > str_0) ); //false cuz m<r
	272	VERIFY( !(str_2 > str_0) );
	273	VERIFY( str_3 > str_0 );
	274	VERIFY( !(str_0 > str_4) );
	275	VERIFY( !(str_4 > str_0) );
	276
	277	VERIFY( !(str_0 < str_1) ); //false cuz r>m
	278	VERIFY( !(str_0 < str_2) );
	279	VERIFY( str_0 < str_3 );
	280	VERIFY( str_1 < str_0 ); //true cuz m<r
	281	VERIFY( str_2 < str_0 );
	282	VERIFY( !(str_3 < str_0) );
	283	VERIFY( !(str_0 < str_4) );
	284	VERIFY( !(str_4 < str_0) );
	285
	286	VERIFY( str_0 >= str_1 ); //true cuz r>m
	287	VERIFY( str_0 >= str_2 );
	288	VERIFY( !(str_0 >= str_3) );
	289	VERIFY( !(str_1 >= str_0) );//false cuz m<r
	290	VERIFY( !(str_2 >= str_0) );
	291	VERIFY( str_3 >= str_0 );
	292	VERIFY( str_0 >= str_4 );
	293	VERIFY( str_4 >= str_0 );
	294
	295	VERIFY( !(str_0 <= str_1) );//false cuz r>m
	296	VERIFY( !(str_0 <= str_2) );
	297	VERIFY( str_0 <= str_3 );
	298	VERIFY( str_1 <= str_0 );//true cuz m<r
	299	VERIFY( str_2 <= str_0 );
	300	VERIFY( !(str_3 <= str_0) );
	301	VERIFY( str_0 <= str_4 );
	302	VERIFY( str_4 <= str_0 );
	303
	304	//comparisons between string object and string literal
	305	VERIFY( !(str_0 == "costa marbella") );
	306	VERIFY( !(str_0 == "cost") );
	307	VERIFY( !(str_0 == "costa ricans") );
	308	VERIFY( !("costa marbella" == str_0) );
	309	VERIFY( !("cost" == str_0) );
	310	VERIFY( !("costa ricans" == str_0) );
	311	VERIFY( "costa rica" == str_0 );
	312	VERIFY( str_0 == "costa rica" );
	313
	314	VERIFY( str_0 != "costa marbella" );
	315	VERIFY( str_0 != "cost" );
	316	VERIFY( str_0 != "costa ricans" );
	317	VERIFY( "costa marbella" != str_0 );
	318	VERIFY( "cost" != str_0 );
	319	VERIFY( "costa ricans" != str_0 );
	320	VERIFY( !("costa rica" != str_0) );
	321	VERIFY( !(str_0 != "costa rica") );
	322
	323	VERIFY( str_0 > "costa marbella" ); //true cuz r>m
	324	VERIFY( str_0 > "cost" );
	325	VERIFY( !(str_0 > "costa ricans") );
	326	VERIFY( !("costa marbella" > str_0) );//false cuz m<r
	327	VERIFY( !("cost" > str_0) );
	328	VERIFY( "costa ricans" > str_0 );
	329	VERIFY( !("costa rica" > str_0) );
	330	VERIFY( !(str_0 > "costa rica") );
	331
332	VERIFY( !(str_0 < "costa marbella") );//false cuz r>m
333	VERIFY( !(str_0 < "cost") );
334	VERIFY( str_0 < "costa ricans" );
335	VERIFY( "costa marbella" < str_0 );//true cuz m<r
336	VERIFY( "cost" < str_0 );
337	VERIFY( !("costa ricans" < str_0) );
338	VERIFY( !("costa rica" < str_0) );
339	VERIFY( !(str_0 < "costa rica") );
340
341	VERIFY( str_0 >= "costa marbella" );//true cuz r>m
342	VERIFY( str_0 >= "cost" );
343	VERIFY( !(str_0 >= "costa ricans") );
344	VERIFY( !("costa marbella" >= str_0) );//false cuz m<r
345	VERIFY( !("cost" >= str_0) );
346	VERIFY( "costa ricans" >= str_0 );
347	VERIFY( "costa rica" >= str_0 );
348	VERIFY( str_0 >= "costa rica" );
349
350	VERIFY( !(str_0 <= "costa marbella") );//false cuz r>m
351	VERIFY( !(str_0 <= "cost") );
352	VERIFY( str_0 <= "costa ricans" );
353	VERIFY( "costa marbella" <= str_0 );//true cuz m<r
354	VERIFY( "cost" <= str_0 );
355	VERIFY( !("costa ricans" <= str_0) );
356	VERIFY( "costa rica" <= str_0 );
357	VERIFY( str_0 <= "costa rica" );
358
c5ae1a27	359	return true;
ca8f2cb1 VV	360	}
	361
	362	int
c5ae1a27	363	main()
ca8f2cb1 VV	364	{
ca8f2cb1 VV	365	test01();
c5ae1a27	366	static_assert( test02() );
ca8f2cb1	367	}