1e7154709SEric Fiselier //===----------------------------------------------------------------------===//
2e7154709SEric Fiselier //
3e7154709SEric Fiselier //                     The LLVM Compiler Infrastructure
4e7154709SEric Fiselier //
5e7154709SEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
6e7154709SEric Fiselier // Source Licenses. See LICENSE.TXT for details.
7e7154709SEric Fiselier //
8e7154709SEric Fiselier //===----------------------------------------------------------------------===//
9e7154709SEric Fiselier 
10e7154709SEric Fiselier // UNSUPPORTED: c++98, c++03, c++11, c++14
11e7154709SEric Fiselier 
12e7154709SEric Fiselier // <algorithm>
13e7154709SEric Fiselier 
14e7154709SEric Fiselier // template <class PopulationIterator, class SampleIterator, class Distance,
15e7154709SEric Fiselier //           class UniformRandomNumberGenerator>
16e7154709SEric Fiselier // SampleIterator sample(PopulationIterator first, PopulationIterator last,
17e7154709SEric Fiselier //                       SampleIterator out, Distance n,
18e7154709SEric Fiselier //                       UniformRandomNumberGenerator &&g);
19e7154709SEric Fiselier 
20e7154709SEric Fiselier #include <algorithm>
21e7154709SEric Fiselier #include <random>
22e7154709SEric Fiselier #include <cassert>
23e7154709SEric Fiselier 
24e7154709SEric Fiselier #include "test_iterators.h"
25e7154709SEric Fiselier 
26e7154709SEric Fiselier template <class PopulationIterator, class SampleIterator> void test() {
27e7154709SEric Fiselier   int ia[] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
28e7154709SEric Fiselier   const unsigned is = sizeof(ia) / sizeof(ia[0]);
29e7154709SEric Fiselier   const unsigned os = 4;
30e7154709SEric Fiselier   int oa[os];
31e7154709SEric Fiselier   std::minstd_rand g;
32e7154709SEric Fiselier   std::sample(PopulationIterator(ia), PopulationIterator(ia + is),
33e7154709SEric Fiselier                             SampleIterator(oa), os, g);
34e7154709SEric Fiselier }
35e7154709SEric Fiselier 
36e7154709SEric Fiselier int main() {
37*3e5d847fSEric Fiselier   // expected-error-re@algorithm:* {{static_assert failed{{( due to requirement '.*')?}} "SampleIterator must meet the requirements of RandomAccessIterator"}}
38e7154709SEric Fiselier   // expected-error@algorithm:* 2 {{does not provide a subscript operator}}
39e7154709SEric Fiselier   // expected-error@algorithm:* {{invalid operands}}
40e7154709SEric Fiselier   test<input_iterator<int *>, output_iterator<int *> >();
41e7154709SEric Fiselier }
42