1// { dg-do compile } 2// 2001-02-11 gdr 3// Origin: Craig Rodrigues <rodrigc@mediaone.net> 4 5// Copyright (C) 2001, 2003, 2007, 2009 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 26int main() 27{ 28 // Check for required typedefs. 29 typedef std::char_traits<wchar_t> 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<wchar_t>::int_type == wint_t 37 test_type::int_type* p = 0; 38 wint_t* q __attribute__((unused)) = p; 39 40 return 0; 41} 42