1// 2// Copyright (C) 2007-2015 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// { dg-require-time "" } 20 21#include <string> 22#include <ext/throw_allocator.h> 23#include <replacement_memory_operators.h> 24 25typedef char char_t; 26typedef std::char_traits<char_t> traits_t; 27typedef __gnu_cxx::throw_allocator_random<char_t> allocator_t; 28typedef std::basic_string<char_t, traits_t, allocator_t> string_t; 29 30int main() 31{ 32#ifndef _GLIBCXX_PROFILE 33 { 34 string_t s; 35 s += "bayou bend"; 36 } 37#endif 38 39 if (__gnu_test::counter::count() != 0) 40 throw std::runtime_error("count not zero"); 41 42 return 0; 43} 44