blob: cb55e3fb33ec30af12ed8c71dda184df690d00ed [file] [log] [blame]
Howard Hinnant7686add2011-06-04 14:31:57 +00001//===----------------------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// <map>
11
12// ~multimap() // implied noexcept;
13
14#include <map>
15#include <cassert>
16
Marshall Clowdf00d5e2015-01-28 21:22:53 +000017#include "MoveOnly.h"
Marshall Clow1b921882013-12-03 00:18:10 +000018#include "test_allocator.h"
Howard Hinnant7686add2011-06-04 14:31:57 +000019
20#if __has_feature(cxx_noexcept)
21
22template <class T>
23struct some_comp
24{
25 typedef T value_type;
26 ~some_comp() noexcept(false);
27};
28
29#endif
30
31int main()
32{
33#if __has_feature(cxx_noexcept)
34 {
35 typedef std::multimap<MoveOnly, MoveOnly> C;
36 static_assert(std::is_nothrow_destructible<C>::value, "");
37 }
38 {
Dan Albert1d4a1ed2016-05-25 22:36:09 -070039 typedef std::multimap<MoveOnly, MoveOnly, std::less<MoveOnly>, test_allocator<MoveOnly>> C;
Howard Hinnant7686add2011-06-04 14:31:57 +000040 static_assert(std::is_nothrow_destructible<C>::value, "");
41 }
42 {
Dan Albert1d4a1ed2016-05-25 22:36:09 -070043 typedef std::multimap<MoveOnly, MoveOnly, std::less<MoveOnly>, other_allocator<MoveOnly>> C;
Howard Hinnant7686add2011-06-04 14:31:57 +000044 static_assert(std::is_nothrow_destructible<C>::value, "");
45 }
46 {
47 typedef std::multimap<MoveOnly, MoveOnly, some_comp<MoveOnly>> C;
48 static_assert(!std::is_nothrow_destructible<C>::value, "");
49 }
50#endif
51}