diff options
author | Jonathan Wakely <jwakely@redhat.com> | 2016-01-15 23:12:13 +0000 |
---|---|---|
committer | Jonathan Wakely <redi@gcc.gnu.org> | 2016-01-15 23:12:13 +0000 |
commit | d7c1581c048bbcb391d6cdf0c5327dd91fee5252 (patch) | |
tree | 48f41d9d3552c8ea588cf4deeeb2b8ec755fe005 /libstdc++-v3/testsuite/20_util/scoped_allocator | |
parent | 28621a5c0255fc8f31e379df316828c5548680c2 (diff) | |
download | gcc-d7c1581c048bbcb391d6cdf0c5327dd91fee5252.tar.gz |
Use static assertion for uses-allocator construction
PR libstdc++/69293
* include/bits/uses_allocator.h (__uses_alloc<true, ...>): Add
static assertion that type is constructible from the arguments.
* testsuite/20_util/scoped_allocator/69293_neg.cc: New.
* testsuite/20_util/uses_allocator/69293_neg.cc: New.
* testsuite/20_util/uses_allocator/cons_neg.cc: Adjust dg-error.
From-SVN: r232457
Diffstat (limited to 'libstdc++-v3/testsuite/20_util/scoped_allocator')
-rw-r--r-- | libstdc++-v3/testsuite/20_util/scoped_allocator/69293_neg.cc | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/20_util/scoped_allocator/69293_neg.cc b/libstdc++-v3/testsuite/20_util/scoped_allocator/69293_neg.cc new file mode 100644 index 00000000000..f3b2d87ab99 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/scoped_allocator/69293_neg.cc @@ -0,0 +1,51 @@ +// Copyright (C) 2016 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/>. + +// { dg-options "-std=gnu++11" } +// { dg-do compile } + +// PR libstdc++/69293 + +#include <scoped_allocator> +#include <memory> + +using std::allocator; +using std::allocator_arg_t; +using std::uses_allocator; +using std::scoped_allocator_adaptor; +using std::is_constructible; + +struct X +{ + using allocator_type = allocator<int>; +}; + +using scoped_alloc = scoped_allocator_adaptor<allocator<X>, X::allocator_type>; +using inner_alloc_type = scoped_alloc::inner_allocator_type; + +static_assert(uses_allocator<X, inner_alloc_type>{}, ""); +static_assert(!is_constructible<X, allocator_arg_t, inner_alloc_type>{}, ""); +static_assert(!is_constructible<X, inner_alloc_type>{}, ""); + +void +test01() +{ + scoped_alloc sa; + auto p = sa.allocate(1); + sa.construct(p); // this is required to be ill-formed + // { dg-error "static assertion failed" "" { target *-*-* } 89 } +} |