libstdc++-v3/testsuite/21_strings/char_traits/requirements/constexpr_functions.cc

   1 // { dg-do compile { target c++11 } }
   2
   3 // Copyright (C) 2010-2023 Free Software Foundation, Inc.
   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 #include <string>
  21 #include <testsuite_common_types.h>
  22
  23 namespace __gnu_test
  24 {
  25   struct constexpr_member_functions
  26   {
  27     template<typename _Ttesttype>
  28       void
  29       operator()()
  30       {
  31         struct _Concept
  32         {
  33           void __constraint()
  34           {
  35             typedef typename _Ttesttype::char_type char_type;
  36             typedef typename _Ttesttype::int_type int_type;
  37             const char_type c1(0);
  38             const char_type c2 = c1;
  39             const int_type i(0);
  40             constexpr auto v1 __attribute__((unused))
  41               = _Ttesttype::eq(c1, c2);
  42             constexpr auto v2 __attribute__((unused))
  43               = _Ttesttype::lt(c1, c2);
  44             constexpr auto v3 __attribute__((unused))
  45               = _Ttesttype::to_char_type(i);
  46             constexpr auto v4 __attribute__((unused))
  47               = _Ttesttype::to_int_type(c1);
  48             constexpr auto v5 __attribute__((unused))
  49               = _Ttesttype::eq_int_type(i, i);
  50             constexpr auto v6 __attribute__((unused))
  51               = _Ttesttype::eof();
  52             constexpr auto v7 __attribute__((unused))
  53               = _Ttesttype::not_eof(i);
  54           }
  55         };
  56
  57         _Concept c;
  58         c.__constraint();
  59       }
  60   };
  61 }
  62
  63 int main()
  64 {
  65   __gnu_test::constexpr_member_functions test;
  66   test.operator()<std::char_traits<char>>();
  67   test.operator()<std::char_traits<wchar_t>>();
  68 #ifdef _GLIBCXX_USE_CHAR8_T
  69   test.operator()<std::char_traits<char8_t>>();
  70 #endif
  71   test.operator()<std::char_traits<char16_t>>();
  72   test.operator()<std::char_traits<char32_t>>();
  73   return 0;
  74 }