// { dg-options "-std=gnu++11" }
// Copyright (C) 2013-2014 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// .
#include
#include
struct X { };
using spcd = std::_Sp_counted_deleter,
std::allocator, std::__default_lock_policy>;
namespace std
{
template<>
struct allocator
{
using value_type = spcd;
allocator() = default;
template
allocator(const allocator&) { }
value_type* allocate(size_t n)
{
if (n != 1)
throw bad_alloc();
allocated = true;
return static_cast((void*)(storage));
}
void deallocate(value_type* p, size_t n)
{
VERIFY(n == 1 && p == (void*)storage && allocated);
allocated = false;
}
static char storage[sizeof(spcd)];
static bool allocated;
};
char allocator::storage[];
bool allocator::allocated = false;
}
int main()
{
std::shared_ptr s( std::unique_ptr(new X) );
VERIFY( std::allocator::allocated );
s.reset();
VERIFY( !std::allocator::allocated );
}