1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90
|
// { dg-options "-std=gnu++11" }
// Copyright (C) 2011-2015 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
// <http://www.gnu.org/licenses/>.
#include <memory>
#include <cstddef>
#include <testsuite_hooks.h>
struct X { };
template<typename T>
struct hintable_allocator
{
typedef T value_type;
struct const_void_pointer { };
typedef unsigned size_type;
hintable_allocator() : called(false) { }
bool called;
// this is the overload that should get called:
T* allocate(size_type n, const_void_pointer) { called = true; return 0; }
// none of these should get called:
T* allocate(size_type n);
T* allocate(size_type n, void*);
T* allocate(size_type n, const void*);
T* allocate(size_type n, const_void_pointer) const;
};
void test01()
{
bool test __attribute__((unused)) = true;
typedef std::allocator_traits<hintable_allocator<X>> traits_type;
traits_type::allocator_type a;
traits_type::const_void_pointer v;
X* p __attribute__((unused)) = traits_type::allocate(a, 1, v);
VERIFY( a.called );
}
template<typename T>
struct unhintable_allocator
{
typedef T value_type;
typedef unsigned size_type;
unhintable_allocator() : called(false) { }
bool called;
// this is the overload that should get called:
T* allocate(size_type n) { called = true; return 0; }
// this should not get called:
T* allocate(size_type n, void*);
};
void test02()
{
bool test __attribute__((unused)) = true;
typedef std::allocator_traits<unhintable_allocator<X>> traits_type;
traits_type::allocator_type a;
traits_type::const_void_pointer v;
X* p __attribute__((unused)) = traits_type::allocate(a, 1, v);
VERIFY( a.called );
}
int main()
{
test01();
test02();
}
|