1*5a83710eSEric Fiselier //===----------------------------------------------------------------------===//
2*5a83710eSEric Fiselier //
3*5a83710eSEric Fiselier //                     The LLVM Compiler Infrastructure
4*5a83710eSEric Fiselier //
5*5a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
6*5a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details.
7*5a83710eSEric Fiselier //
8*5a83710eSEric Fiselier //===----------------------------------------------------------------------===//
9*5a83710eSEric Fiselier 
10*5a83710eSEric Fiselier // <string>
11*5a83710eSEric Fiselier 
12*5a83710eSEric Fiselier // explicit basic_string(const Allocator& a = Allocator());
13*5a83710eSEric Fiselier 
14*5a83710eSEric Fiselier #include <string>
15*5a83710eSEric Fiselier #include <cassert>
16*5a83710eSEric Fiselier 
17*5a83710eSEric Fiselier #include "test_allocator.h"
18*5a83710eSEric Fiselier #include "min_allocator.h"
19*5a83710eSEric Fiselier 
20*5a83710eSEric Fiselier template <class S>
21*5a83710eSEric Fiselier void
22*5a83710eSEric Fiselier test()
23*5a83710eSEric Fiselier {
24*5a83710eSEric Fiselier     {
25*5a83710eSEric Fiselier     S s;
26*5a83710eSEric Fiselier     assert(s.__invariants());
27*5a83710eSEric Fiselier     assert(s.data());
28*5a83710eSEric Fiselier     assert(s.size() == 0);
29*5a83710eSEric Fiselier     assert(s.capacity() >= s.size());
30*5a83710eSEric Fiselier     assert(s.get_allocator() == typename S::allocator_type());
31*5a83710eSEric Fiselier     }
32*5a83710eSEric Fiselier     {
33*5a83710eSEric Fiselier     S s(typename S::allocator_type(5));
34*5a83710eSEric Fiselier     assert(s.__invariants());
35*5a83710eSEric Fiselier     assert(s.data());
36*5a83710eSEric Fiselier     assert(s.size() == 0);
37*5a83710eSEric Fiselier     assert(s.capacity() >= s.size());
38*5a83710eSEric Fiselier     assert(s.get_allocator() == typename S::allocator_type(5));
39*5a83710eSEric Fiselier     }
40*5a83710eSEric Fiselier }
41*5a83710eSEric Fiselier 
42*5a83710eSEric Fiselier #if __cplusplus >= 201103L
43*5a83710eSEric Fiselier 
44*5a83710eSEric Fiselier template <class S>
45*5a83710eSEric Fiselier void
46*5a83710eSEric Fiselier test2()
47*5a83710eSEric Fiselier {
48*5a83710eSEric Fiselier     {
49*5a83710eSEric Fiselier     S s;
50*5a83710eSEric Fiselier     assert(s.__invariants());
51*5a83710eSEric Fiselier     assert(s.data());
52*5a83710eSEric Fiselier     assert(s.size() == 0);
53*5a83710eSEric Fiselier     assert(s.capacity() >= s.size());
54*5a83710eSEric Fiselier     assert(s.get_allocator() == typename S::allocator_type());
55*5a83710eSEric Fiselier     }
56*5a83710eSEric Fiselier     {
57*5a83710eSEric Fiselier     S s(typename S::allocator_type{});
58*5a83710eSEric Fiselier     assert(s.__invariants());
59*5a83710eSEric Fiselier     assert(s.data());
60*5a83710eSEric Fiselier     assert(s.size() == 0);
61*5a83710eSEric Fiselier     assert(s.capacity() >= s.size());
62*5a83710eSEric Fiselier     assert(s.get_allocator() == typename S::allocator_type());
63*5a83710eSEric Fiselier     }
64*5a83710eSEric Fiselier }
65*5a83710eSEric Fiselier 
66*5a83710eSEric Fiselier #endif
67*5a83710eSEric Fiselier 
68*5a83710eSEric Fiselier int main()
69*5a83710eSEric Fiselier {
70*5a83710eSEric Fiselier     test<std::basic_string<char, std::char_traits<char>, test_allocator<char> > >();
71*5a83710eSEric Fiselier #if __cplusplus >= 201103L
72*5a83710eSEric Fiselier     test2<std::basic_string<char, std::char_traits<char>, min_allocator<char> > >();
73*5a83710eSEric Fiselier #endif
74*5a83710eSEric Fiselier }
75