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