1e7154709SEric Fiselier //===----------------------------------------------------------------------===//
2e7154709SEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e7154709SEric Fiselier //
7e7154709SEric Fiselier //===----------------------------------------------------------------------===//
8e7154709SEric Fiselier 
9e7154709SEric Fiselier // UNSUPPORTED: c++98, c++03, c++11, c++14
10e7154709SEric Fiselier 
11e7154709SEric Fiselier // <algorithm>
12e7154709SEric Fiselier 
13e7154709SEric Fiselier // template <class PopulationIterator, class SampleIterator, class Distance,
14e7154709SEric Fiselier //           class UniformRandomNumberGenerator>
15e7154709SEric Fiselier // SampleIterator sample(PopulationIterator first, PopulationIterator last,
16e7154709SEric Fiselier //                       SampleIterator out, Distance n,
17e7154709SEric Fiselier //                       UniformRandomNumberGenerator &&g);
18e7154709SEric Fiselier 
19e7154709SEric Fiselier #include <algorithm>
20e7154709SEric Fiselier #include <random>
21e7154709SEric Fiselier #include <cassert>
22e7154709SEric Fiselier 
23e7154709SEric Fiselier #include "test_iterators.h"
24e7154709SEric Fiselier 
25e7154709SEric Fiselier template <class PopulationIterator, class SampleIterator> void test() {
26e7154709SEric Fiselier   int ia[] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
27e7154709SEric Fiselier   const unsigned is = sizeof(ia) / sizeof(ia[0]);
28e7154709SEric Fiselier   const unsigned os = 4;
29e7154709SEric Fiselier   int oa[os];
30e7154709SEric Fiselier   std::minstd_rand g;
31e7154709SEric Fiselier   std::sample(PopulationIterator(ia), PopulationIterator(ia + is),
32e7154709SEric Fiselier                             SampleIterator(oa), os, g);
33e7154709SEric Fiselier }
34e7154709SEric Fiselier 
35*2df59c50SJF Bastien int main(int, char**) {
363e5d847fSEric Fiselier   // expected-error-re@algorithm:* {{static_assert failed{{( due to requirement '.*')?}} "SampleIterator must meet the requirements of RandomAccessIterator"}}
37e7154709SEric Fiselier   // expected-error@algorithm:* 2 {{does not provide a subscript operator}}
38e7154709SEric Fiselier   // expected-error@algorithm:* {{invalid operands}}
39e7154709SEric Fiselier   test<input_iterator<int *>, output_iterator<int *> >();
40*2df59c50SJF Bastien 
41*2df59c50SJF Bastien   return 0;
42e7154709SEric Fiselier }
43