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