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()26int 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