]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/ext/vstring/requirements/exception/generation_prohibited.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / ext / vstring / requirements / exception / generation_prohibited.cc
CommitLineData
52066eae 1// { dg-do run { target c++11 } }
6ab94513
PC
2// { dg-require-cstdint "" }
3
4// 2009-09-14 Benjamin Kosnik <benjamin@redhat.com>
5
a5544970 6// Copyright (C) 2009-2019 Free Software Foundation, Inc.
6ab94513
PC
7//
8// This file is part of the GNU ISO C++ Library. This library is free
9// software; you can redistribute it and/or modify it under the
10// terms of the GNU General Public License as published by the
11// Free Software Foundation; either version 3, or (at your option)
12// any later version.
13
14// This library is distributed in the hope that it will be useful,
15// but WITHOUT ANY WARRANTY; without even the implied warranty of
16// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17// GNU General Public License for more details.
18
19// You should have received a copy of the GNU General Public License along
20// with this library; see the file COPYING3. If not see
21// <http://www.gnu.org/licenses/>.
22
23#include <ext/vstring.h>
24#include <exception/safety.h>
25
26void
27char_instance()
28{
29 typedef char value_type;
30 typedef __gnu_cxx::throw_allocator_random<value_type> allocator_type;
31 typedef std::char_traits<value_type> traits_type;
32 typedef __gnu_cxx::__versa_string<value_type, traits_type, allocator_type> test_type;
33 __gnu_test::generation_prohibited<test_type> test;
34}
35
36void
37wchar_instance()
38{
39 typedef wchar_t value_type;
40 typedef __gnu_cxx::throw_allocator_random<value_type> allocator_type;
41 typedef std::char_traits<value_type> traits_type;
42 typedef __gnu_cxx::__versa_string<value_type, traits_type, allocator_type> test_type;
43 __gnu_test::generation_prohibited<test_type> test;
44}
45
46// Container requirement testing, exceptional behavior
47int main()
48{
49 char_instance();
50 wchar_instance();
51 return 0;
52}