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 931cbe0f2SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14 10e7154709SEric Fiselier 11a42a58c9SLouis Dionne // Test failure not investigated on GCC 5. 12a42a58c9SLouis Dionne // UNSUPPORTED: gcc-5 13a42a58c9SLouis Dionne 14e7154709SEric Fiselier // <algorithm> 15e7154709SEric Fiselier 16e7154709SEric Fiselier // template <class PopulationIterator, class SampleIterator, class Distance, 17e7154709SEric Fiselier // class UniformRandomNumberGenerator> 18e7154709SEric Fiselier // SampleIterator sample(PopulationIterator first, PopulationIterator last, 19e7154709SEric Fiselier // SampleIterator out, Distance n, 20e7154709SEric Fiselier // UniformRandomNumberGenerator &&g); 21e7154709SEric Fiselier 22e7154709SEric Fiselier #include <algorithm> 23e7154709SEric Fiselier #include <random> 24e7154709SEric Fiselier #include <cassert> 25e7154709SEric Fiselier 26e7154709SEric Fiselier #include "test_iterators.h" 27e7154709SEric Fiselier 28e7154709SEric Fiselier template <class PopulationIterator, class SampleIterator> void test() { 29e7154709SEric Fiselier int ia[] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}; 30e7154709SEric Fiselier const unsigned is = sizeof(ia) / sizeof(ia[0]); 31e7154709SEric Fiselier const unsigned os = 4; 32e7154709SEric Fiselier int oa[os]; 33e7154709SEric Fiselier std::minstd_rand g; 34e7154709SEric Fiselier std::sample(PopulationIterator(ia), PopulationIterator(ia + is), 35e7154709SEric Fiselier SampleIterator(oa), os, g); 36e7154709SEric Fiselier } 37e7154709SEric Fiselier 382df59c50SJF Bastien int main(int, char**) { 393e5d847fSEric Fiselier // expected-error-re@algorithm:* {{static_assert failed{{( due to requirement '.*')?}} "SampleIterator must meet the requirements of RandomAccessIterator"}} 40e7154709SEric Fiselier // expected-error@algorithm:* 2 {{does not provide a subscript operator}} 41e7154709SEric Fiselier // expected-error@algorithm:* {{invalid operands}} 42*773ae441SChristopher Di Bella test<cpp17_input_iterator<int *>, output_iterator<int *> >(); 432df59c50SJF Bastien 442df59c50SJF Bastien return 0; 45e7154709SEric Fiselier } 46