1 // { dg-do compile }
2 // 2001-02-11 gdr
3 // Origin: Craig Rodrigues <rodrigc@mediaone.net>
4 
5 // Copyright (C) 2001-2018 Free Software Foundation, Inc.
6 //
7 // This file is part of the GNU ISO C++ Library.  This library is free
8 // software; you can redistribute it and/or modify it under the
9 // terms of the GNU General Public License as published by the
10 // Free Software Foundation; either version 3, or (at your option)
11 // any later version.
12 
13 // This library is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 // GNU General Public License for more details.
17 
18 // You should have received a copy of the GNU General Public License along
19 // with this library; see the file COPYING3.  If not see
20 // <http://www.gnu.org/licenses/>.
21 
22 // 21.1.2: char_traits typedefs
23 
24 #include <string>
25 
main()26 int main()
27 {
28   // Check for required typedefs.
29   typedef std::char_traits<char> test_type;
30   typedef test_type::char_type char_type;
31   typedef test_type::int_type int_type;
32   typedef test_type::off_type off_type;
33   typedef test_type::pos_type pos_type;
34   typedef test_type::state_type state_type;
35 
36   // 21.1.3: char_traits<char>::int_type == int
37   test_type::int_type* p = 0;
38   int* q __attribute__((unused)) = p;
39 
40   return 0;
41 }
42