127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//===----------------------------------------------------------------------===//
227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//
327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//                     The LLVM Compiler Infrastructure
427a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//
527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow// This file is dual licensed under the MIT and the University of Illinois Open
627a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow// Source Licenses. See LICENSE.TXT for details.
727a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//
827a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//===----------------------------------------------------------------------===//
927a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
1027a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow// dynarray.cons
1127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
1227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow// template <class Alloc>
1327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//   dynarray(size_type c, const Alloc& alloc);
1427a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow// template <class Alloc>
1527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//   dynarray(size_type c, const T& v, const Alloc& alloc);
1627a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow// template <class Alloc>
1727a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//   dynarray(const dynarray& d, const Alloc& alloc);
1827a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow// template <class Alloc>
1927a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//   dynarray(initializer_list<T>, const Alloc& alloc);
2027a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
2127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow// ~dynarray();
2227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
2327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
2427a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow#include <__config>
2527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
2627a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow#if _LIBCPP_STD_VER > 11
2727a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
286b7c2aeb004cc8e499f1a2281c356bee0bfc9061Marshall Clow#include <experimental/dynarray>
2927a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow#include <cassert>
3027a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
3127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow#include <algorithm>
3227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow#include <complex>
3327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow#include <string>
341b92188a82b01e76ac6e8ad5f997293c2a078adcMarshall Clow#include "test_allocator.h"
3527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
366b7c2aeb004cc8e499f1a2281c356bee0bfc9061Marshall Clowusing std::experimental::dynarray;
376b7c2aeb004cc8e499f1a2281c356bee0bfc9061Marshall Clow
3827a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clowtemplate <class T, class Allocator>
396b7c2aeb004cc8e499f1a2281c356bee0bfc9061Marshall Clowvoid check_allocator ( const dynarray<T> &dyn, const Allocator &alloc ) {
4027a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    for ( int i = 0; i < dyn.size (); ++i )
4127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow        assert ( dyn[i].get_allocator() == alloc );
4227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow}
4327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
4427a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clowtemplate <class T, class Allocator>
4527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clowvoid test ( const std::initializer_list<T> &vals, const Allocator &alloc ) {
466b7c2aeb004cc8e499f1a2281c356bee0bfc9061Marshall Clow    typedef dynarray<T> dynA;
4727a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
4827a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    dynA d1 ( vals, alloc );
4927a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    assert ( d1.size () == vals.size() );
5027a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    assert ( std::equal ( vals.begin (), vals.end (), d1.begin (), d1.end ()));
5127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    check_allocator ( d1, alloc );
5227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    }
5327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
5427a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
5527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clowtemplate <class T, class Allocator>
5627a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clowvoid test ( const T &val, const Allocator &alloc1, const Allocator &alloc2 ) {
576b7c2aeb004cc8e499f1a2281c356bee0bfc9061Marshall Clow    typedef dynarray<T> dynA;
5827a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
5927a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    dynA d1 ( 4, alloc1 );
6027a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    assert ( d1.size () == 4 );
6127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    assert ( std::all_of ( d1.begin (), d1.end (), []( const T &item ){ return item == T(); } ));
6227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    check_allocator ( d1, alloc1 );
6327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
6427a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    dynA d2 ( 7, val, alloc1 );
6527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    assert ( d2.size () == 7 );
6627a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    assert ( std::all_of ( d2.begin (), d2.end (), [&val]( const T &item ){ return item == val; } ));
6727a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    check_allocator ( d2, alloc1 );
6827a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
6927a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    dynA d3 ( d2, alloc2 );
7027a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    assert ( d3.size () == 7 );
7127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    assert ( std::all_of ( d3.begin (), d3.end (), [&val]( const T &item ){ return item == val; } ));
7227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    check_allocator ( d3, alloc2 );
7327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow    }
7427a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow
7527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clowint main()
7627a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow{
7727a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//  This test is waiting on the resolution of LWG issue #2235
7827a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//     typedef test_allocator<char> Alloc;
7927a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//     typedef std::basic_string<char, std::char_traits<char>, Alloc> nstr;
8027a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//
8127a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//     test ( nstr("fourteen"), Alloc(3), Alloc(4) );
8227a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow//     test ( { nstr("1"), nstr("1"), nstr("2"), nstr("3"), nstr("5"), nstr("8")}, Alloc(6));
8327a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow}
8427a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow#else
8527a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clowint main() {}
8627a1c252e3f2c0d1192e1e275ce3489b9f0025f9Marshall Clow#endif
87