[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 21_strings / basic_string / operators / wchar_t / cmp_c++20.cc

// Copyright (C) 2020-2021 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/>.

// { dg-options "-std=gnu++2a" }
// { dg-do run { target c++2a } }

// C++20 21.3.3.2 Non-member comparison functions [string.cmp]

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

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

// operator<=>
/*
template<class charT, class traits, class Allocator>
  constexpr [see below]
  operator<=>(const basic_string<charT, traits, Allocator>& lhs,
	      const basic_string<charT, traits, Allocator>& rhs);

template<class charT, class traits, class Allocator>
  constexpr [see below]
  operator<=>(const basic_string<charT,traits,Allocator>& lhs,
	      const charT* rhs);
*/

#include <string>
#include <testsuite_hooks.h>

void
test01()
{
  std::wstring 	str_0(L"costa rica");
  std::wstring 	str_1(L"costa marbella");
  std::wstring 	str_2(L"cost");
  std::wstring	str_3(L"costa ricans");
  std::wstring  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 );

  VERIFY( std::is_gt(str_0 <=> str_1) );
  VERIFY( std::is_gt(str_0 <=> str_2) );
  VERIFY( std::is_lt(str_0 <=> str_3) );
  VERIFY( std::is_eq(str_0 <=> str_4) );
  VERIFY( std::is_lt(str_1 <=> str_0) );
  VERIFY( std::is_lt(str_2 <=> str_0) );
  VERIFY( std::is_gt(str_3 <=> str_0) );
  VERIFY( std::is_eq(str_4 <=> str_0) );

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

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

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

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

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

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

  VERIFY( std::is_gt(str_0 <=> L"costa marbella") );
  VERIFY( std::is_gt(str_0 <=> L"cost") );
  VERIFY( std::is_lt(str_0 <=> L"costa ricans") );
  VERIFY( std::is_eq(str_0 <=> L"costa rica") );
  VERIFY( std::is_lt(L"costa marbella" <=> str_0) );
  VERIFY( std::is_lt(L"cost" <=> str_0) );
  VERIFY( std::is_gt(L"costa ricans" <=> str_0) );
  VERIFY( std::is_eq(L"costa rica" <=> str_0) );
}

int main()
{
  test01();
}
Commit	Line	Data
99dee823	1	// Copyright (C) 2020-2021 Free Software Foundation, Inc.
875d6cb3 JW	2	//
	3	// This file is part of the GNU ISO C++ Library. This library is free
	4	// software; you can redistribute it and/or modify it under the
	5	// terms of the GNU General Public License as published by the
	6	// Free Software Foundation; either version 3, or (at your option)
	7	// any later version.
	8
	9	// This library is distributed in the hope that it will be useful,
	10	// but WITHOUT ANY WARRANTY; without even the implied warranty of
	11	// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	12	// GNU General Public License for more details.
	13
	14	// You should have received a copy of the GNU General Public License along
	15	// with this library; see the file COPYING3. If not see
	16	// <http://www.gnu.org/licenses/>.
	17
	18	// { dg-options "-std=gnu++2a" }
	19	// { dg-do run { target c++2a } }
	20
	21	// C++20 21.3.3.2 Non-member comparison functions [string.cmp]
	22
	23	// operator==
	24	/*
	25	template<class charT, class traits, class Allocator>
	26	constexpr bool
	27	operator==(const basic_string<charT, traits, Allocator>& lhs,
	28	const basic_string<charT, traits, Allocator>& rhs);
	29
	30	template<class charT, class traits, class Allocator>
	31	constexpr bool
	32	operator==(const basic_string<charT, traits, Allocator>& lhs,
	33	const charT* rhs);
	34	*/
	35
	36	// operator<=>
	37	/*
	38	template<class charT, class traits, class Allocator>
	39	constexpr [see below]
	40	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	constexpr [see below]
	45	operator<=>(const basic_string<charT,traits,Allocator>& lhs,
	46	const charT* rhs);
	47	*/
	48
	49	#include <string>
	50	#include <testsuite_hooks.h>
	51
	52	void
	53	test01()
	54	{
	55	std::wstring str_0(L"costa rica");
	56	std::wstring str_1(L"costa marbella");
	57	std::wstring str_2(L"cost");
	58	std::wstring str_3(L"costa ricans");
	59	std::wstring str_4;
	60
	61	str_4 = str_0;
	62	//comparisons between string objects
	63	VERIFY( !(str_0 == str_1) );
	64	VERIFY( !(str_0 == str_2) );
	65	VERIFY( !(str_0 == str_3) );
66	VERIFY( !(str_1 == str_0) );
67	VERIFY( !(str_2 == str_0) );
68	VERIFY( !(str_3 == str_0) );
69	VERIFY( str_4 == str_0 );
70	VERIFY( str_0 == str_4 );
71
72	VERIFY( str_0 != str_1 );
73	VERIFY( str_0 != str_2 );
74	VERIFY( str_0 != str_3 );
75	VERIFY( str_1 != str_0 );
76	VERIFY( str_2 != str_0 );
77	VERIFY( str_3 != str_0 );
78	VERIFY( !(str_0 != str_4) );
79	VERIFY( !(str_4 != str_0) );
80
81	VERIFY( str_0 > str_1 ); //true cuz r>m
82	VERIFY( str_0 > str_2 );
83	VERIFY( !(str_0 > str_3) );
84	VERIFY( !(str_1 > str_0) ); //false cuz m<r
85	VERIFY( !(str_2 > str_0) );
86	VERIFY( str_3 > str_0 );
87	VERIFY( !(str_0 > str_4) );
88	VERIFY( !(str_4 > str_0) );
89
90	VERIFY( !(str_0 < str_1) ); //false cuz r>m
91	VERIFY( !(str_0 < str_2) );
92	VERIFY( str_0 < str_3 );
93	VERIFY( str_1 < str_0 ); //true cuz m<r
94	VERIFY( str_2 < str_0 );
95	VERIFY( !(str_3 < str_0) );
96	VERIFY( !(str_0 < str_4) );
97	VERIFY( !(str_4 < str_0) );
98
99	VERIFY( str_0 >= str_1 ); //true cuz r>m
100	VERIFY( str_0 >= str_2 );
101	VERIFY( !(str_0 >= str_3) );
102	VERIFY( !(str_1 >= str_0) );//false cuz m<r
103	VERIFY( !(str_2 >= str_0) );
104	VERIFY( str_3 >= str_0 );
105	VERIFY( str_0 >= str_4 );
106	VERIFY( str_4 >= str_0 );
107
108	VERIFY( !(str_0 <= str_1) );//false cuz r>m
109	VERIFY( !(str_0 <= str_2) );
110	VERIFY( str_0 <= str_3 );
111	VERIFY( str_1 <= str_0 );//true cuz m<r
112	VERIFY( str_2 <= str_0 );
113	VERIFY( !(str_3 <= str_0) );
114	VERIFY( str_0 <= str_4 );
115	VERIFY( str_4 <= str_0 );
116
117	VERIFY( std::is_gt(str_0 <=> str_1) );
118	VERIFY( std::is_gt(str_0 <=> str_2) );
119	VERIFY( std::is_lt(str_0 <=> str_3) );
120	VERIFY( std::is_eq(str_0 <=> str_4) );
121	VERIFY( std::is_lt(str_1 <=> str_0) );
122	VERIFY( std::is_lt(str_2 <=> str_0) );
123	VERIFY( std::is_gt(str_3 <=> str_0) );
124	VERIFY( std::is_eq(str_4 <=> str_0) );
125
126	//comparisons between string object and string literal
127	VERIFY( !(str_0 == L"costa marbella") );
128	VERIFY( !(str_0 == L"cost") );
129	VERIFY( !(str_0 == L"costa ricans") );
130	VERIFY( !(L"costa marbella" == str_0) );
131	VERIFY( !(L"cost" == str_0) );
132	VERIFY( !(L"costa ricans" == str_0) );
133	VERIFY( L"costa rica" == str_0 );
134	VERIFY( str_0 == L"costa rica" );
135
136	VERIFY( str_0 != L"costa marbella" );
137	VERIFY( str_0 != L"cost" );
138	VERIFY( str_0 != L"costa ricans" );
139	VERIFY( L"costa marbella" != str_0 );
140	VERIFY( L"cost" != str_0 );
141	VERIFY( L"costa ricans" != str_0 );
142	VERIFY( !(L"costa rica" != str_0) );
143	VERIFY( !(str_0 != L"costa rica") );
144
145	VERIFY( str_0 > L"costa marbella" ); //true cuz r>m
146	VERIFY( str_0 > L"cost" );
147	VERIFY( !(str_0 > L"costa ricans") );
148	VERIFY( !(L"costa marbella" > str_0) );//false cuz m<r
149	VERIFY( !(L"cost" > str_0) );
150	VERIFY( L"costa ricans" > str_0 );
151	VERIFY( !(L"costa rica" > str_0) );
152	VERIFY( !(str_0 > L"costa rica") );
153
154	VERIFY( !(str_0 < L"costa marbella") );//false cuz r>m
155	VERIFY( !(str_0 < L"cost") );
156	VERIFY( str_0 < L"costa ricans" );
157	VERIFY( L"costa marbella" < str_0 );//true cuz m<r
158	VERIFY( L"cost" < str_0 );
159	VERIFY( !(L"costa ricans" < str_0) );
160	VERIFY( !(L"costa rica" < str_0) );
161	VERIFY( !(str_0 < L"costa rica") );
162
163	VERIFY( str_0 >= L"costa marbella" );//true cuz r>m
164	VERIFY( str_0 >= L"cost" );
165	VERIFY( !(str_0 >= L"costa ricans") );
166	VERIFY( !(L"costa marbella" >= str_0) );//false cuz m<r
167	VERIFY( !(L"cost" >= str_0) );
168	VERIFY( L"costa ricans" >= str_0 );
169	VERIFY( L"costa rica" >= str_0 );
170	VERIFY( str_0 >= L"costa rica" );
171
172	VERIFY( !(str_0 <= L"costa marbella") );//false cuz r>m
173	VERIFY( !(str_0 <= L"cost") );
174	VERIFY( str_0 <= L"costa ricans" );
175	VERIFY( L"costa marbella" <= str_0 );//true cuz m<r
176	VERIFY( L"cost" <= str_0 );
177	VERIFY( !(L"costa ricans" <= str_0) );
178	VERIFY( L"costa rica" <= str_0 );
179	VERIFY( str_0 <= L"costa rica" );
180
181	VERIFY( std::is_gt(str_0 <=> L"costa marbella") );
182	VERIFY( std::is_gt(str_0 <=> L"cost") );
183	VERIFY( std::is_lt(str_0 <=> L"costa ricans") );
184	VERIFY( std::is_eq(str_0 <=> L"costa rica") );
185	VERIFY( std::is_lt(L"costa marbella" <=> str_0) );
186	VERIFY( std::is_lt(L"cost" <=> str_0) );
187	VERIFY( std::is_gt(L"costa ricans" <=> str_0) );
188	VERIFY( std::is_eq(L"costa rica" <=> str_0) );
189	}
190
191	int main()
192	{
193	test01();
194	}