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 // class seed_seq;
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // seed_seq();
145a83710eSEric Fiselier 
155a83710eSEric Fiselier #include <random>
165a83710eSEric Fiselier #include <cassert>
175a83710eSEric Fiselier 
187fc6a556SMarshall Clow #include "test_macros.h"
197fc6a556SMarshall Clow 
main(int,char **)202df59c50SJF Bastien int main(int, char**)
215a83710eSEric Fiselier {
22*8b29b84cSArthur O'Dwyer   ASSERT_NOEXCEPT(std::seed_seq());
23*8b29b84cSArthur O'Dwyer   {
245a83710eSEric Fiselier     std::seed_seq s;
255a83710eSEric Fiselier     assert(s.size() == 0);
26*8b29b84cSArthur O'Dwyer   }
272df59c50SJF Bastien 
282df59c50SJF Bastien   return 0;
295a83710eSEric Fiselier }
30