Complete LWG issue #2016. Allocators must be nothrow swappable

llvm-svn: 267085
This commit is contained in:
Eric Fiselier 2016-04-22 00:15:18 +00:00
parent 4c0f6afbab
commit d513ad88d5
14 changed files with 40 additions and 35 deletions

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <map>
// void swap(map& c)
@ -22,6 +24,7 @@
#include <map>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -93,7 +96,6 @@ struct some_alloc3
int main()
{
#if __has_feature(cxx_noexcept)
typedef std::pair<const MoveOnly, MoveOnly> V;
{
typedef std::map<MoveOnly, MoveOnly> C;
@ -145,5 +147,4 @@ int main()
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <map>
// void swap(multimap& c)
@ -22,6 +24,7 @@
#include <map>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -93,7 +96,6 @@ struct some_alloc3
int main()
{
#if __has_feature(cxx_noexcept)
typedef std::pair<const MoveOnly, MoveOnly> V;
{
typedef std::multimap<MoveOnly, MoveOnly> C;
@ -144,6 +146,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <set>
// void swap(multiset& c)
@ -22,6 +24,7 @@
#include <set>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -93,7 +96,6 @@ struct some_alloc3
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::multiset<MoveOnly> C;
C c1, c2;
@ -143,6 +145,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <set>
// void swap(set& c)
@ -22,6 +24,7 @@
#include <set>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -93,7 +96,6 @@ struct some_alloc3
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::set<MoveOnly> C;
C c1, c2;
@ -144,5 +146,4 @@ int main()
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <deque>
// void swap(deque& c)
@ -21,6 +23,7 @@
#include <deque>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -51,7 +54,6 @@ struct some_alloc2
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::deque<MoveOnly> C;
C c1, c2;
@ -86,5 +88,4 @@ int main()
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <forward_list>
// void swap(forward_list& c)
@ -21,6 +23,7 @@
#include <forward_list>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -51,7 +54,6 @@ struct some_alloc2
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::forward_list<MoveOnly> C;
C c1, c2;
@ -85,6 +87,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <list>
// void swap(list& c)
@ -21,6 +23,7 @@
#include <list>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -51,7 +54,6 @@ struct some_alloc2
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::list<MoveOnly> C;
C c1, c2;
@ -86,5 +88,4 @@ int main()
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <vector>
// void swap(vector& c)
@ -22,6 +24,7 @@
#include <vector>
#include <cassert>
#include "test_macros.h"
#include "test_allocator.h"
template <class T>
@ -51,7 +54,6 @@ struct some_alloc2
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::vector<bool> C;
C c1, c2;
@ -85,6 +87,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <vector>
// void swap(vector& c)
@ -22,6 +24,7 @@
#include <vector>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -52,7 +55,6 @@ struct some_alloc2
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::vector<MoveOnly> C;
C c1, c2;
@ -86,6 +88,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <unordered_map>
// void swap(unordered_map& c)
@ -26,6 +28,7 @@
#include <unordered_map>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -116,7 +119,6 @@ struct some_alloc3
int main()
{
#if __has_feature(cxx_noexcept)
typedef std::pair<const MoveOnly, MoveOnly> MapType;
{
typedef std::unordered_map<MoveOnly, MoveOnly> C;
@ -195,5 +197,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <unordered_map>
// void swap(unordered_multimap& c)
@ -26,6 +28,7 @@
#include <unordered_map>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -115,7 +118,6 @@ struct some_alloc3
int main()
{
#if __has_feature(cxx_noexcept)
typedef std::pair<const MoveOnly, MoveOnly> V;
{
typedef std::unordered_multimap<MoveOnly, MoveOnly> C;
@ -193,6 +195,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <unordered_set>
// void swap(unordered_multiset& c)
@ -26,6 +28,7 @@
#include <unordered_set>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -115,7 +118,6 @@ struct some_alloc3
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::unordered_multiset<MoveOnly> C;
C c1, c2;
@ -193,6 +195,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -7,6 +7,8 @@
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++98, c++03
// <unordered_set>
// void swap(unordered_set& c)
@ -26,6 +28,7 @@
#include <unordered_set>
#include <cassert>
#include "test_macros.h"
#include "MoveOnly.h"
#include "test_allocator.h"
@ -115,7 +118,6 @@ struct some_alloc3
int main()
{
#if __has_feature(cxx_noexcept)
{
typedef std::unordered_set<MoveOnly> C;
C c1, c2;
@ -193,6 +195,4 @@ int main()
static_assert( noexcept(swap(c1, c2)), "");
}
#endif
#endif
}

View File

@ -100,7 +100,7 @@
<!-- <I>Note: "NAD" means that the issue was deemed "Not a defect"</I> -->
<table id="issues" border="1">
<tr><th>Issue #</th><th>Issue Name</th><th>Meeting</th><th>Status</th></tr>
<tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2016">2016</a></td><td>Allocators must be no-throw swappable</td><td>Urbana</td><td></td></tr>
<tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2016">2016</a></td><td>Allocators must be no-throw swappable</td><td>Urbana</td><td>Complete</td></tr>
<tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2376">2118</td><td><code>unique_ptr</code> for array does not support cv qualification conversion of actual argument</td><td>Urbana</td><td>Complete</td></tr>
<tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2170">2170</a></td><td>Aggregates cannot be <code>DefaultConstructible</code></td><td>Urbana</td><td>Complete</td></tr>
<tr><td><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2308">2308</td><td>Clarify container destructor requirements w.r.t. <code>std::array</code></td><td>Urbana</td><td>Complete</td></tr>