xref: /llvm-project/libcxx/test/std/numerics/rand/rand.eng/rand.eng.sub/copy.pass.cpp (revision 7fc6a55688c816f5fc1a5481ae7af25be7500356)
15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric 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
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier 
95a83710eSEric Fiselier // <random>
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // template<class UIntType, size_t w, size_t s, size_t r>
125a83710eSEric Fiselier // class subtract_with_carry_engine;
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // subtract_with_carry_engine(const subtract_with_carry_engine&);
155a83710eSEric Fiselier 
165a83710eSEric Fiselier #include <random>
175a83710eSEric Fiselier #include <cassert>
185a83710eSEric Fiselier 
19*7fc6a556SMarshall Clow #include "test_macros.h"
20*7fc6a556SMarshall Clow 
215a83710eSEric Fiselier void
test1()225a83710eSEric Fiselier test1()
235a83710eSEric Fiselier {
245a83710eSEric Fiselier     typedef std::ranlux24_base E;
255a83710eSEric Fiselier     E e1;
261c240a89SBilly Robert O'Neal III     (void)e1();
275a83710eSEric Fiselier     E e2 = e1;
285a83710eSEric Fiselier     assert(e1 == e2);
295a83710eSEric Fiselier     assert(e1() == e2());
305a83710eSEric Fiselier     E::result_type k = e1();
315a83710eSEric Fiselier     assert(e1 != e2);
325a83710eSEric Fiselier     assert(e2() == k);
335a83710eSEric Fiselier     assert(e1 == e2);
345a83710eSEric Fiselier }
355a83710eSEric Fiselier 
365a83710eSEric Fiselier void
test2()375a83710eSEric Fiselier test2()
385a83710eSEric Fiselier {
395a83710eSEric Fiselier     typedef std::ranlux48_base E;
405a83710eSEric Fiselier     E e1;
411c240a89SBilly Robert O'Neal III     (void)e1();
425a83710eSEric Fiselier     E e2(e1);
435a83710eSEric Fiselier     assert(e1 == e2);
445a83710eSEric Fiselier     assert(e1() == e2());
455a83710eSEric Fiselier     E::result_type k = e1();
465a83710eSEric Fiselier     assert(e1 != e2);
475a83710eSEric Fiselier     assert(e2() == k);
485a83710eSEric Fiselier     assert(e1 == e2);
495a83710eSEric Fiselier }
505a83710eSEric Fiselier 
main(int,char **)512df59c50SJF Bastien int main(int, char**)
525a83710eSEric Fiselier {
535a83710eSEric Fiselier     test1();
545a83710eSEric Fiselier     test2();
552df59c50SJF Bastien 
562df59c50SJF Bastien   return 0;
575a83710eSEric Fiselier }
58