1 // 2 // Copyright (C) 2004-2013 Free Software Foundation, Inc. 3 // 4 // This file is part of the GNU ISO C++ Library. This library is free 5 // software; you can redistribute it and/or modify it under the 6 // terms of the GNU General Public License as published by the 7 // Free Software Foundation; either version 3, or (at your option) 8 // any later version. 9 // 10 // This library is distributed in the hope that it will be useful, 11 // but WITHOUT ANY WARRANTY; without even the implied warranty of 12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 // GNU General Public License for more details. 14 // 15 // You should have received a copy of the GNU General Public License along 16 // with this library; see the file COPYING3. If not see 17 // <http://www.gnu.org/licenses/>. 18 19 #include <string> 20 #include <ext/malloc_allocator.h> 21 #include <replacement_memory_operators.h> 22 23 typedef char char_t; 24 typedef std::char_traits<char_t> traits_t; 25 typedef __gnu_cxx::malloc_allocator<char_t> allocator_t; 26 typedef std::basic_string<char_t, traits_t, allocator_t> string_t; 27 main()28int main() 29 { 30 { 31 string_t s; 32 s += "bayou bend"; 33 } 34 35 if (__gnu_test::counter::count() != 0) 36 throw std::runtime_error("count not zero"); 37 return 0; 38 } 39