URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [libstdc++-v3/] [testsuite/] [23_containers/] [vector/] [allocator/] [noexcept.cc] - Rev 742
Compare with Previous | Blame | View Log
// Copyright (C) 2011 Free Software Foundation // // 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++0x" } #include <vector> #include <testsuite_hooks.h> #include <testsuite_allocator.h> struct T { int i; }; namespace __gnu_test { inline void swap(propagating_allocator<T, true>& l, propagating_allocator<T, true>& r) noexcept(false) { typedef uneq_allocator<T> base_alloc; swap(static_cast<base_alloc&>(l), static_cast<base_alloc&>(r)); } } using __gnu_test::propagating_allocator; void test01() { typedef std::allocator<T> alloc_type; typedef std::vector<T, alloc_type> test_type; test_type v1; test_type v2; // this is a GNU extension for std::allocator static_assert( noexcept( v1 = std::move(v2) ), "Move assign cannot throw" ); static_assert( noexcept( v1.swap(v2) ), "Swap cannot throw" ); } void test02() { typedef propagating_allocator<T, false> alloc_type; typedef std::vector<T, alloc_type> test_type; test_type v1(alloc_type(1)); test_type v2(alloc_type(2)); static_assert( !noexcept( v1 = std::move(v2) ), "Move assign can throw" ); static_assert( noexcept( v1.swap(v2) ), "Swap cannot throw" ); } void test03() { typedef propagating_allocator<T, true> alloc_type; typedef std::vector<T, alloc_type> test_type; test_type v1(alloc_type(1)); test_type v2(alloc_type(2)); static_assert( noexcept( v1 = std::move(v2) ), "Move assign cannot throw" ); static_assert( !noexcept( v1.swap(v2) ), "Swap can throw" ); } int main() { test01(); test02(); test03(); return 0; }