libcxx/test/std/utilities/utility/utility.intcmp/intcmp.verify.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: c++03, c++11, c++14, c++17
  10
  11 // <utility>
  12
  13 // template<class T, class U>
  14 //   constexpr bool cmp_equal(T t, U u) noexcept; // C++20
  15
  16 // template<class T, class U>
  17 //   constexpr bool cmp_not_equal(T t, U u) noexcept; // C++20
  18
  19 // template<class T, class U>
  20 //   constexpr bool cmp_less(T t, U u) noexcept; // C++20
  21
  22 // template<class T, class U>
  23 //   constexpr bool cmp_less_equal(T t, U u) noexcept; // C++20
  24
  25 // template<class T, class U>
  26 //   constexpr bool cmp_greater(T t, U u) noexcept; // C++20
  27
  28 // template<class T, class U>
  29 //   constexpr bool cmp_greater_equal(T t, U u) noexcept; // C++20
  30
  31 // template<class R, class T>
  32 //   constexpr bool in_range(T t) noexcept;      // C++20
  33
  34 #include <utility>
  35 #include <cstddef>
  36
  37 #include "test_macros.h"
  38
  39 struct NonEmptyT {
  40   int val;
  41   NonEmptyT() : val(0) {}
  42   NonEmptyT(int val) : val(val) {}
  43   operator int&() { return val; }
  44   operator int() const { return val; }
  45 };
  46
  47 enum ColorT { red, green, blue };
  48
  49 struct EmptyT {};
  50
  51 template <class T>
  52 constexpr void test() {
  53   std::cmp_equal(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_equal'}}
  54   std::cmp_equal(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_equal'}}
  55   std::cmp_equal(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_equal'}}
  56   std::cmp_not_equal(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_not_equal'}}
  57   std::cmp_not_equal(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_not_equal'}}
  58   std::cmp_not_equal(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_not_equal'}}
  59   std::cmp_less(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_less'}}
  60   std::cmp_less(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_less'}}
  61   std::cmp_less(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_less'}}
  62   std::cmp_less_equal(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_less_equal'}}
  63   std::cmp_less_equal(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_less_equal'}}
  64   std::cmp_less_equal(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_less_equal'}}
  65   std::cmp_greater(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_greater'}}
  66   std::cmp_greater(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_greater'}}
  67   std::cmp_greater(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_greater'}}
  68   std::cmp_greater_equal(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_greater_equal'}}
  69   std::cmp_greater_equal(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_greater_equal'}}
  70   std::cmp_greater_equal(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_greater_equal'}}
  71   std::in_range<T>(int()); // expected-error 10-11 {{no matching function for call to 'in_range'}}
  72   std::in_range<int>(T()); // expected-error 10-11 {{no matching function for call to 'in_range'}}
  73 }
  74 #ifndef TEST_HAS_NO_CHAR8_T
  75 template <class T>
  76 constexpr void test_char8t() {
  77   std::cmp_equal(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_equal'}}
  78   std::cmp_equal(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_equal'}}
  79   std::cmp_equal(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_equal'}}
  80   std::cmp_not_equal(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_not_equal'}}
  81   std::cmp_not_equal(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_not_equal'}}
  82   std::cmp_not_equal(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_not_equal'}}
  83   std::cmp_less(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_less'}}
  84   std::cmp_less(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_less'}}
  85   std::cmp_less(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_less'}}
  86   std::cmp_less_equal(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_less_equal'}}
  87   std::cmp_less_equal(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_less_equal'}}
  88   std::cmp_less_equal(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_less_equal'}}
  89   std::cmp_greater(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_greater'}}
  90   std::cmp_greater(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_greater'}}
  91   std::cmp_greater(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_greater'}}
  92   std::cmp_greater_equal(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_greater_equal'}}
  93   std::cmp_greater_equal(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_greater_equal'}}
  94   std::cmp_greater_equal(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_greater_equal'}}
  95   std::in_range<T>(int()); // expected-error 1 {{no matching function for call to 'in_range'}}
  96   std::in_range<int>(T()); // expected-error 1 {{no matching function for call to 'in_range'}}
  97 }
  98 #endif // TEST_HAS_NO_CHAR8_T
  99
 100 template <class T>
 101 constexpr void test_uchars() {
 102   std::cmp_equal(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_equal'}}
 103   std::cmp_equal(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_equal'}}
 104   std::cmp_equal(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_equal'}}
 105   std::cmp_not_equal(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_not_equal'}}
 106   std::cmp_not_equal(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_not_equal'}}
 107   std::cmp_not_equal(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_not_equal'}}
 108   std::cmp_less(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_less'}}
 109   std::cmp_less(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_less'}}
 110   std::cmp_less(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_less'}}
 111   std::cmp_less_equal(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_less_equal'}}
 112   std::cmp_less_equal(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_less_equal'}}
 113   std::cmp_less_equal(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_less_equal'}}
 114   std::cmp_greater(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_greater'}}
 115   std::cmp_greater(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_greater'}}
 116   std::cmp_greater(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_greater'}}
 117   std::cmp_greater_equal(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_greater_equal'}}
 118   std::cmp_greater_equal(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_greater_equal'}}
 119   std::cmp_greater_equal(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_greater_equal'}}
 120   std::in_range<T>(int()); // expected-error 2 {{no matching function for call to 'in_range'}}
 121   std::in_range<int>(T()); // expected-error 2 {{no matching function for call to 'in_range'}}
 122 }
 123
 124 int main(int, char**) {
 125   test<bool>();
 126   test<char>();
 127 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
 128   test<wchar_t>();
 129 #endif
 130   test<float>();
 131   test<double>();
 132   test<long double>();
 133   test<std::byte>();
 134   test<NonEmptyT>();
 135   test<ColorT>();
 136   test<std::nullptr_t>();
 137   test<EmptyT>();
 138
 139 #ifndef TEST_HAS_NO_CHAR8_T
 140   test_char8t<char8_t>();
 141 #endif // TEST_HAS_NO_CHAR8_T
 142
 143   test_uchars<char16_t>();
 144   test_uchars<char32_t>();
 145
 146   return 0;
 147 }