1// { dg-do compile } 2// { dg-options "-std=gnu++11" } 3 4// Copyright (C) 2010-2015 Free Software Foundation, Inc. 5// 6// This file is part of the GNU ISO C++ Library. This library is free 7// software; you can redistribute it and/or modify it under the 8// terms of the GNU General Public License as published by the 9// Free Software Foundation; either version 3, or (at your option) 10// any later version. 11 12// This library is distributed in the hope that it will be useful, 13// but WITHOUT ANY WARRANTY; without even the implied warranty of 14// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15// GNU General Public License for more details. 16 17// You should have received a copy of the GNU General Public License along 18// with this library; see the file COPYING3. If not see 19// <http://www.gnu.org/licenses/>. 20 21#include <string> 22#include <testsuite_common_types.h> 23 24namespace __gnu_test 25{ 26 struct constexpr_member_functions 27 { 28 template<typename _Ttesttype> 29 void 30 operator()() 31 { 32 struct _Concept 33 { 34 void __constraint() 35 { 36 typedef typename _Ttesttype::char_type char_type; 37 typedef typename _Ttesttype::int_type int_type; 38 const char_type c1(0); 39 const char_type c2 = c1; 40 const int_type i(0); 41 constexpr auto v1 __attribute__((unused)) 42 = _Ttesttype::eq(c1, c2); 43 constexpr auto v2 __attribute__((unused)) 44 = _Ttesttype::lt(c1, c2); 45 constexpr auto v3 __attribute__((unused)) 46 = _Ttesttype::to_char_type(i); 47 constexpr auto v4 __attribute__((unused)) 48 = _Ttesttype::to_int_type(c1); 49 constexpr auto v5 __attribute__((unused)) 50 = _Ttesttype::eq_int_type(i, i); 51 constexpr auto v6 __attribute__((unused)) 52 = _Ttesttype::eof(); 53 constexpr auto v7 __attribute__((unused)) 54 = _Ttesttype::not_eof(i); 55 } 56 }; 57 58 _Concept c; 59 c.__constraint(); 60 } 61 }; 62} 63 64int main() 65{ 66 __gnu_test::constexpr_member_functions test; 67 test.operator()<std::char_traits<char>>(); 68#ifdef _GLIBCXX_USE_WCHAR_T 69 test.operator()<std::char_traits<wchar_t>>(); 70#endif 71 test.operator()<std::char_traits<char16_t>>(); 72 test.operator()<std::char_traits<char32_t>>(); 73 return 0; 74} 75