libcxx/test/std/strings/string.view/string.view.ops/compare.size_size_sv.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 // UNSUPPORTED: !stdlib=libc++ && (c++03 || c++11 || c++14)
  10
  11 // <string_view>
  12
  13 // constexpr int compare(size_type pos1, size_type n1, basic_string_view str) const;
  14
  15 #include <string_view>
  16 #include <cassert>
  17 #include <stdexcept>
  18
  19 #include "test_macros.h"
  20 #include "constexpr_char_traits.h"
  21
  22 int sign(int x) { return x > 0 ? 1 : (x < 0 ? -1 : 0); }
  23
  24 template <typename CharT>
  25 void test1(
  26     std::basic_string_view<CharT> sv1, std::size_t pos1, size_t n1, std::basic_string_view<CharT> sv2, int expected) {
  27 #ifdef TEST_HAS_NO_EXCEPTIONS
  28   if (pos1 <= sv1.size())
  29     assert(sign(sv1.compare(pos1, n1, sv2)) == sign(expected));
  30 #else
  31   try {
  32     assert(sign(sv1.compare(pos1, n1, sv2)) == sign(expected));
  33     assert(pos1 <= sv1.size());
  34   } catch (const std::out_of_range&) {
  35     assert(pos1 > sv1.size());
  36   }
  37 #endif
  38 }
  39
  40 template <typename CharT>
  41 void test(const CharT* s1, std::size_t pos1, size_t n1, const CharT* s2, int expected) {
  42   typedef std::basic_string_view<CharT> string_view_t;
  43   string_view_t sv1(s1);
  44   string_view_t sv2(s2);
  45   test1(sv1, pos1, n1, sv2, expected);
  46 }
  47
  48 void test0() {
  49   test("", 0, 0, "", 0);
  50   test("", 0, 0, "abcde", -5);
  51   test("", 0, 0, "abcdefghij", -10);
  52   test("", 0, 0, "abcdefghijklmnopqrst", -20);
  53   test("", 0, 1, "", 0);
  54   test("", 0, 1, "abcde", -5);
  55   test("", 0, 1, "abcdefghij", -10);
  56   test("", 0, 1, "abcdefghijklmnopqrst", -20);
  57   test("", 1, 0, "", 0);
  58   test("", 1, 0, "abcde", 0);
  59   test("", 1, 0, "abcdefghij", 0);
  60   test("", 1, 0, "abcdefghijklmnopqrst", 0);
  61   test("abcde", 0, 0, "", 0);
  62   test("abcde", 0, 0, "abcde", -5);
  63   test("abcde", 0, 0, "abcdefghij", -10);
  64   test("abcde", 0, 0, "abcdefghijklmnopqrst", -20);
  65   test("abcde", 0, 1, "", 1);
  66   test("abcde", 0, 1, "abcde", -4);
  67   test("abcde", 0, 1, "abcdefghij", -9);
  68   test("abcde", 0, 1, "abcdefghijklmnopqrst", -19);
  69   test("abcde", 0, 2, "", 2);
  70   test("abcde", 0, 2, "abcde", -3);
  71   test("abcde", 0, 2, "abcdefghij", -8);
  72   test("abcde", 0, 2, "abcdefghijklmnopqrst", -18);
  73   test("abcde", 0, 4, "", 4);
  74   test("abcde", 0, 4, "abcde", -1);
  75   test("abcde", 0, 4, "abcdefghij", -6);
  76   test("abcde", 0, 4, "abcdefghijklmnopqrst", -16);
  77   test("abcde", 0, 5, "", 5);
  78   test("abcde", 0, 5, "abcde", 0);
  79   test("abcde", 0, 5, "abcdefghij", -5);
  80   test("abcde", 0, 5, "abcdefghijklmnopqrst", -15);
  81   test("abcde", 0, 6, "", 5);
  82   test("abcde", 0, 6, "abcde", 0);
  83   test("abcde", 0, 6, "abcdefghij", -5);
  84   test("abcde", 0, 6, "abcdefghijklmnopqrst", -15);
  85   test("abcde", 1, 0, "", 0);
  86   test("abcde", 1, 0, "abcde", -5);
  87   test("abcde", 1, 0, "abcdefghij", -10);
  88   test("abcde", 1, 0, "abcdefghijklmnopqrst", -20);
  89   test("abcde", 1, 1, "", 1);
  90   test("abcde", 1, 1, "abcde", 1);
  91   test("abcde", 1, 1, "abcdefghij", 1);
  92   test("abcde", 1, 1, "abcdefghijklmnopqrst", 1);
  93   test("abcde", 1, 2, "", 2);
  94   test("abcde", 1, 2, "abcde", 1);
  95   test("abcde", 1, 2, "abcdefghij", 1);
  96   test("abcde", 1, 2, "abcdefghijklmnopqrst", 1);
  97   test("abcde", 1, 3, "", 3);
  98   test("abcde", 1, 3, "abcde", 1);
  99   test("abcde", 1, 3, "abcdefghij", 1);
 100   test("abcde", 1, 3, "abcdefghijklmnopqrst", 1);
 101   test("abcde", 1, 4, "", 4);
 102   test("abcde", 1, 4, "abcde", 1);
 103   test("abcde", 1, 4, "abcdefghij", 1);
 104   test("abcde", 1, 4, "abcdefghijklmnopqrst", 1);
 105   test("abcde", 1, 5, "", 4);
 106   test("abcde", 1, 5, "abcde", 1);
 107   test("abcde", 1, 5, "abcdefghij", 1);
 108   test("abcde", 1, 5, "abcdefghijklmnopqrst", 1);
 109   test("abcde", 2, 0, "", 0);
 110   test("abcde", 2, 0, "abcde", -5);
 111   test("abcde", 2, 0, "abcdefghij", -10);
 112   test("abcde", 2, 0, "abcdefghijklmnopqrst", -20);
 113   test("abcde", 2, 1, "", 1);
 114   test("abcde", 2, 1, "abcde", 2);
 115   test("abcde", 2, 1, "abcdefghij", 2);
 116   test("abcde", 2, 1, "abcdefghijklmnopqrst", 2);
 117   test("abcde", 2, 2, "", 2);
 118   test("abcde", 2, 2, "abcde", 2);
 119   test("abcde", 2, 2, "abcdefghij", 2);
 120   test("abcde", 2, 2, "abcdefghijklmnopqrst", 2);
 121   test("abcde", 2, 3, "", 3);
 122   test("abcde", 2, 3, "abcde", 2);
 123   test("abcde", 2, 3, "abcdefghij", 2);
 124   test("abcde", 2, 3, "abcdefghijklmnopqrst", 2);
 125   test("abcde", 2, 4, "", 3);
 126   test("abcde", 2, 4, "abcde", 2);
 127   test("abcde", 2, 4, "abcdefghij", 2);
 128   test("abcde", 2, 4, "abcdefghijklmnopqrst", 2);
 129   test("abcde", 4, 0, "", 0);
 130   test("abcde", 4, 0, "abcde", -5);
 131   test("abcde", 4, 0, "abcdefghij", -10);
 132   test("abcde", 4, 0, "abcdefghijklmnopqrst", -20);
 133   test("abcde", 4, 1, "", 1);
 134   test("abcde", 4, 1, "abcde", 4);
 135   test("abcde", 4, 1, "abcdefghij", 4);
 136   test("abcde", 4, 1, "abcdefghijklmnopqrst", 4);
 137   test("abcde", 4, 2, "", 1);
 138   test("abcde", 4, 2, "abcde", 4);
 139   test("abcde", 4, 2, "abcdefghij", 4);
 140   test("abcde", 4, 2, "abcdefghijklmnopqrst", 4);
 141   test("abcde", 5, 0, "", 0);
 142   test("abcde", 5, 0, "abcde", -5);
 143   test("abcde", 5, 0, "abcdefghij", -10);
 144   test("abcde", 5, 0, "abcdefghijklmnopqrst", -20);
 145   test("abcde", 5, 1, "", 0);
 146   test("abcde", 5, 1, "abcde", -5);
 147   test("abcde", 5, 1, "abcdefghij", -10);
 148   test("abcde", 5, 1, "abcdefghijklmnopqrst", -20);
 149 }
 150
 151 void test1() {
 152   test("abcde", 6, 0, "", 0);
 153   test("abcde", 6, 0, "abcde", 0);
 154   test("abcde", 6, 0, "abcdefghij", 0);
 155   test("abcde", 6, 0, "abcdefghijklmnopqrst", 0);
 156   test("abcdefghij", 0, 0, "", 0);
 157   test("abcdefghij", 0, 0, "abcde", -5);
 158   test("abcdefghij", 0, 0, "abcdefghij", -10);
 159   test("abcdefghij", 0, 0, "abcdefghijklmnopqrst", -20);
 160   test("abcdefghij", 0, 1, "", 1);
 161   test("abcdefghij", 0, 1, "abcde", -4);
 162   test("abcdefghij", 0, 1, "abcdefghij", -9);
 163   test("abcdefghij", 0, 1, "abcdefghijklmnopqrst", -19);
 164   test("abcdefghij", 0, 5, "", 5);
 165   test("abcdefghij", 0, 5, "abcde", 0);
 166   test("abcdefghij", 0, 5, "abcdefghij", -5);
 167   test("abcdefghij", 0, 5, "abcdefghijklmnopqrst", -15);
 168   test("abcdefghij", 0, 9, "", 9);
 169   test("abcdefghij", 0, 9, "abcde", 4);
 170   test("abcdefghij", 0, 9, "abcdefghij", -1);
 171   test("abcdefghij", 0, 9, "abcdefghijklmnopqrst", -11);
 172   test("abcdefghij", 0, 10, "", 10);
 173   test("abcdefghij", 0, 10, "abcde", 5);
 174   test("abcdefghij", 0, 10, "abcdefghij", 0);
 175   test("abcdefghij", 0, 10, "abcdefghijklmnopqrst", -10);
 176   test("abcdefghij", 0, 11, "", 10);
 177   test("abcdefghij", 0, 11, "abcde", 5);
 178   test("abcdefghij", 0, 11, "abcdefghij", 0);
 179   test("abcdefghij", 0, 11, "abcdefghijklmnopqrst", -10);
 180   test("abcdefghij", 1, 0, "", 0);
 181   test("abcdefghij", 1, 0, "abcde", -5);
 182   test("abcdefghij", 1, 0, "abcdefghij", -10);
 183   test("abcdefghij", 1, 0, "abcdefghijklmnopqrst", -20);
 184   test("abcdefghij", 1, 1, "", 1);
 185   test("abcdefghij", 1, 1, "abcde", 1);
 186   test("abcdefghij", 1, 1, "abcdefghij", 1);
 187   test("abcdefghij", 1, 1, "abcdefghijklmnopqrst", 1);
 188   test("abcdefghij", 1, 4, "", 4);
 189   test("abcdefghij", 1, 4, "abcde", 1);
 190   test("abcdefghij", 1, 4, "abcdefghij", 1);
 191   test("abcdefghij", 1, 4, "abcdefghijklmnopqrst", 1);
 192   test("abcdefghij", 1, 8, "", 8);
 193   test("abcdefghij", 1, 8, "abcde", 1);
 194   test("abcdefghij", 1, 8, "abcdefghij", 1);
 195   test("abcdefghij", 1, 8, "abcdefghijklmnopqrst", 1);
 196   test("abcdefghij", 1, 9, "", 9);
 197   test("abcdefghij", 1, 9, "abcde", 1);
 198   test("abcdefghij", 1, 9, "abcdefghij", 1);
 199   test("abcdefghij", 1, 9, "abcdefghijklmnopqrst", 1);
 200   test("abcdefghij", 1, 10, "", 9);
 201   test("abcdefghij", 1, 10, "abcde", 1);
 202   test("abcdefghij", 1, 10, "abcdefghij", 1);
 203   test("abcdefghij", 1, 10, "abcdefghijklmnopqrst", 1);
 204   test("abcdefghij", 5, 0, "", 0);
 205   test("abcdefghij", 5, 0, "abcde", -5);
 206   test("abcdefghij", 5, 0, "abcdefghij", -10);
 207   test("abcdefghij", 5, 0, "abcdefghijklmnopqrst", -20);
 208   test("abcdefghij", 5, 1, "", 1);
 209   test("abcdefghij", 5, 1, "abcde", 5);
 210   test("abcdefghij", 5, 1, "abcdefghij", 5);
 211   test("abcdefghij", 5, 1, "abcdefghijklmnopqrst", 5);
 212   test("abcdefghij", 5, 2, "", 2);
 213   test("abcdefghij", 5, 2, "abcde", 5);
 214   test("abcdefghij", 5, 2, "abcdefghij", 5);
 215   test("abcdefghij", 5, 2, "abcdefghijklmnopqrst", 5);
 216   test("abcdefghij", 5, 4, "", 4);
 217   test("abcdefghij", 5, 4, "abcde", 5);
 218   test("abcdefghij", 5, 4, "abcdefghij", 5);
 219   test("abcdefghij", 5, 4, "abcdefghijklmnopqrst", 5);
 220   test("abcdefghij", 5, 5, "", 5);
 221   test("abcdefghij", 5, 5, "abcde", 5);
 222   test("abcdefghij", 5, 5, "abcdefghij", 5);
 223   test("abcdefghij", 5, 5, "abcdefghijklmnopqrst", 5);
 224   test("abcdefghij", 5, 6, "", 5);
 225   test("abcdefghij", 5, 6, "abcde", 5);
 226   test("abcdefghij", 5, 6, "abcdefghij", 5);
 227   test("abcdefghij", 5, 6, "abcdefghijklmnopqrst", 5);
 228   test("abcdefghij", 9, 0, "", 0);
 229   test("abcdefghij", 9, 0, "abcde", -5);
 230   test("abcdefghij", 9, 0, "abcdefghij", -10);
 231   test("abcdefghij", 9, 0, "abcdefghijklmnopqrst", -20);
 232   test("abcdefghij", 9, 1, "", 1);
 233   test("abcdefghij", 9, 1, "abcde", 9);
 234   test("abcdefghij", 9, 1, "abcdefghij", 9);
 235   test("abcdefghij", 9, 1, "abcdefghijklmnopqrst", 9);
 236   test("abcdefghij", 9, 2, "", 1);
 237   test("abcdefghij", 9, 2, "abcde", 9);
 238   test("abcdefghij", 9, 2, "abcdefghij", 9);
 239   test("abcdefghij", 9, 2, "abcdefghijklmnopqrst", 9);
 240   test("abcdefghij", 10, 0, "", 0);
 241   test("abcdefghij", 10, 0, "abcde", -5);
 242   test("abcdefghij", 10, 0, "abcdefghij", -10);
 243   test("abcdefghij", 10, 0, "abcdefghijklmnopqrst", -20);
 244   test("abcdefghij", 10, 1, "", 0);
 245   test("abcdefghij", 10, 1, "abcde", -5);
 246   test("abcdefghij", 10, 1, "abcdefghij", -10);
 247   test("abcdefghij", 10, 1, "abcdefghijklmnopqrst", -20);
 248   test("abcdefghij", 11, 0, "", 0);
 249   test("abcdefghij", 11, 0, "abcde", 0);
 250   test("abcdefghij", 11, 0, "abcdefghij", 0);
 251   test("abcdefghij", 11, 0, "abcdefghijklmnopqrst", 0);
 252 }
 253
 254 void test2() {
 255   test("abcdefghijklmnopqrst", 0, 0, "", 0);
 256   test("abcdefghijklmnopqrst", 0, 0, "abcde", -5);
 257   test("abcdefghijklmnopqrst", 0, 0, "abcdefghij", -10);
 258   test("abcdefghijklmnopqrst", 0, 0, "abcdefghijklmnopqrst", -20);
 259   test("abcdefghijklmnopqrst", 0, 1, "", 1);
 260   test("abcdefghijklmnopqrst", 0, 1, "abcde", -4);
 261   test("abcdefghijklmnopqrst", 0, 1, "abcdefghij", -9);
 262   test("abcdefghijklmnopqrst", 0, 1, "abcdefghijklmnopqrst", -19);
 263   test("abcdefghijklmnopqrst", 0, 10, "", 10);
 264   test("abcdefghijklmnopqrst", 0, 10, "abcde", 5);
 265   test("abcdefghijklmnopqrst", 0, 10, "abcdefghij", 0);
 266   test("abcdefghijklmnopqrst", 0, 10, "abcdefghijklmnopqrst", -10);
 267   test("abcdefghijklmnopqrst", 0, 19, "", 19);
 268   test("abcdefghijklmnopqrst", 0, 19, "abcde", 14);
 269   test("abcdefghijklmnopqrst", 0, 19, "abcdefghij", 9);
 270   test("abcdefghijklmnopqrst", 0, 19, "abcdefghijklmnopqrst", -1);
 271   test("abcdefghijklmnopqrst", 0, 20, "", 20);
 272   test("abcdefghijklmnopqrst", 0, 20, "abcde", 15);
 273   test("abcdefghijklmnopqrst", 0, 20, "abcdefghij", 10);
 274   test("abcdefghijklmnopqrst", 0, 20, "abcdefghijklmnopqrst", 0);
 275   test("abcdefghijklmnopqrst", 0, 21, "", 20);
 276   test("abcdefghijklmnopqrst", 0, 21, "abcde", 15);
 277   test("abcdefghijklmnopqrst", 0, 21, "abcdefghij", 10);
 278   test("abcdefghijklmnopqrst", 0, 21, "abcdefghijklmnopqrst", 0);
 279   test("abcdefghijklmnopqrst", 1, 0, "", 0);
 280   test("abcdefghijklmnopqrst", 1, 0, "abcde", -5);
 281   test("abcdefghijklmnopqrst", 1, 0, "abcdefghij", -10);
 282   test("abcdefghijklmnopqrst", 1, 0, "abcdefghijklmnopqrst", -20);
 283   test("abcdefghijklmnopqrst", 1, 1, "", 1);
 284   test("abcdefghijklmnopqrst", 1, 1, "abcde", 1);
 285   test("abcdefghijklmnopqrst", 1, 1, "abcdefghij", 1);
 286   test("abcdefghijklmnopqrst", 1, 1, "abcdefghijklmnopqrst", 1);
 287   test("abcdefghijklmnopqrst", 1, 9, "", 9);
 288   test("abcdefghijklmnopqrst", 1, 9, "abcde", 1);
 289   test("abcdefghijklmnopqrst", 1, 9, "abcdefghij", 1);
 290   test("abcdefghijklmnopqrst", 1, 9, "abcdefghijklmnopqrst", 1);
 291   test("abcdefghijklmnopqrst", 1, 18, "", 18);
 292   test("abcdefghijklmnopqrst", 1, 18, "abcde", 1);
 293   test("abcdefghijklmnopqrst", 1, 18, "abcdefghij", 1);
 294   test("abcdefghijklmnopqrst", 1, 18, "abcdefghijklmnopqrst", 1);
 295   test("abcdefghijklmnopqrst", 1, 19, "", 19);
 296   test("abcdefghijklmnopqrst", 1, 19, "abcde", 1);
 297   test("abcdefghijklmnopqrst", 1, 19, "abcdefghij", 1);
 298   test("abcdefghijklmnopqrst", 1, 19, "abcdefghijklmnopqrst", 1);
 299   test("abcdefghijklmnopqrst", 1, 20, "", 19);
 300   test("abcdefghijklmnopqrst", 1, 20, "abcde", 1);
 301   test("abcdefghijklmnopqrst", 1, 20, "abcdefghij", 1);
 302   test("abcdefghijklmnopqrst", 1, 20, "abcdefghijklmnopqrst", 1);
 303   test("abcdefghijklmnopqrst", 10, 0, "", 0);
 304   test("abcdefghijklmnopqrst", 10, 0, "abcde", -5);
 305   test("abcdefghijklmnopqrst", 10, 0, "abcdefghij", -10);
 306   test("abcdefghijklmnopqrst", 10, 0, "abcdefghijklmnopqrst", -20);
 307   test("abcdefghijklmnopqrst", 10, 1, "", 1);
 308   test("abcdefghijklmnopqrst", 10, 1, "abcde", 10);
 309   test("abcdefghijklmnopqrst", 10, 1, "abcdefghij", 10);
 310   test("abcdefghijklmnopqrst", 10, 1, "abcdefghijklmnopqrst", 10);
 311   test("abcdefghijklmnopqrst", 10, 5, "", 5);
 312   test("abcdefghijklmnopqrst", 10, 5, "abcde", 10);
 313   test("abcdefghijklmnopqrst", 10, 5, "abcdefghij", 10);
 314   test("abcdefghijklmnopqrst", 10, 5, "abcdefghijklmnopqrst", 10);
 315   test("abcdefghijklmnopqrst", 10, 9, "", 9);
 316   test("abcdefghijklmnopqrst", 10, 9, "abcde", 10);
 317   test("abcdefghijklmnopqrst", 10, 9, "abcdefghij", 10);
 318   test("abcdefghijklmnopqrst", 10, 9, "abcdefghijklmnopqrst", 10);
 319   test("abcdefghijklmnopqrst", 10, 10, "", 10);
 320   test("abcdefghijklmnopqrst", 10, 10, "abcde", 10);
 321   test("abcdefghijklmnopqrst", 10, 10, "abcdefghij", 10);
 322   test("abcdefghijklmnopqrst", 10, 10, "abcdefghijklmnopqrst", 10);
 323   test("abcdefghijklmnopqrst", 10, 11, "", 10);
 324   test("abcdefghijklmnopqrst", 10, 11, "abcde", 10);
 325   test("abcdefghijklmnopqrst", 10, 11, "abcdefghij", 10);
 326   test("abcdefghijklmnopqrst", 10, 11, "abcdefghijklmnopqrst", 10);
 327   test("abcdefghijklmnopqrst", 19, 0, "", 0);
 328   test("abcdefghijklmnopqrst", 19, 0, "abcde", -5);
 329   test("abcdefghijklmnopqrst", 19, 0, "abcdefghij", -10);
 330   test("abcdefghijklmnopqrst", 19, 0, "abcdefghijklmnopqrst", -20);
 331   test("abcdefghijklmnopqrst", 19, 1, "", 1);
 332   test("abcdefghijklmnopqrst", 19, 1, "abcde", 19);
 333   test("abcdefghijklmnopqrst", 19, 1, "abcdefghij", 19);
 334   test("abcdefghijklmnopqrst", 19, 1, "abcdefghijklmnopqrst", 19);
 335   test("abcdefghijklmnopqrst", 19, 2, "", 1);
 336   test("abcdefghijklmnopqrst", 19, 2, "abcde", 19);
 337   test("abcdefghijklmnopqrst", 19, 2, "abcdefghij", 19);
 338   test("abcdefghijklmnopqrst", 19, 2, "abcdefghijklmnopqrst", 19);
 339   test("abcdefghijklmnopqrst", 20, 0, "", 0);
 340   test("abcdefghijklmnopqrst", 20, 0, "abcde", -5);
 341   test("abcdefghijklmnopqrst", 20, 0, "abcdefghij", -10);
 342   test("abcdefghijklmnopqrst", 20, 0, "abcdefghijklmnopqrst", -20);
 343   test("abcdefghijklmnopqrst", 20, 1, "", 0);
 344   test("abcdefghijklmnopqrst", 20, 1, "abcde", -5);
 345   test("abcdefghijklmnopqrst", 20, 1, "abcdefghij", -10);
 346   test("abcdefghijklmnopqrst", 20, 1, "abcdefghijklmnopqrst", -20);
 347   test("abcdefghijklmnopqrst", 21, 0, "", 0);
 348   test("abcdefghijklmnopqrst", 21, 0, "abcde", 0);
 349   test("abcdefghijklmnopqrst", 21, 0, "abcdefghij", 0);
 350   test("abcdefghijklmnopqrst", 21, 0, "abcdefghijklmnopqrst", 0);
 351 }
 352
 353 int main(int, char**) {
 354   test0();
 355   test1();
 356   test2();
 357
 358   {
 359     test("abcde", 5, 1, "", 0);
 360     test("abcde", 2, 4, "", 3);
 361     test("abcde", 2, 4, "abcde", 2);
 362     test("ABCde", 2, 4, "abcde", -1);
 363   }
 364
 365 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
 366   {
 367     test(L"abcde", 5, 1, L"", 0);
 368     test(L"abcde", 2, 4, L"", 3);
 369     test(L"abcde", 2, 4, L"abcde", 2);
 370     test(L"ABCde", 2, 4, L"abcde", -1);
 371   }
 372 #endif
 373
 374 #if TEST_STD_VER >= 11
 375   {
 376     test(u"abcde", 5, 1, u"", 0);
 377     test(u"abcde", 2, 4, u"", 3);
 378     test(u"abcde", 2, 4, u"abcde", 2);
 379     test(u"ABCde", 2, 4, u"abcde", -1);
 380   }
 381
 382   {
 383     test(U"abcde", 5, 1, U"", 0);
 384     test(U"abcde", 2, 4, U"", 3);
 385     test(U"abcde", 2, 4, U"abcde", 2);
 386     test(U"ABCde", 2, 4, U"abcde", -1);
 387   }
 388 #endif
 389
 390 #if TEST_STD_VER > 11
 391   {
 392     typedef std::basic_string_view<char, constexpr_char_traits<char>> SV;
 393     constexpr SV sv1{"abcde", 5};
 394     constexpr SV sv2{"abcde", 0};
 395     static_assert(sv1.compare(5, 1, sv2) == 0, "");
 396     static_assert(sv1.compare(2, 4, sv2) > 0, "");
 397   }
 398 #endif
 399
 400   return 0;
 401 }