-// Copyright (C) 2014-2016 Free Software Foundation, Inc.
+// Copyright (C) 2014-2023 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// <http://www.gnu.org/licenses/>.
// { dg-do run { target c++11 } }
+// { dg-require-cstdint "" }
+// { dg-require-effective-target random_device }
#include <random>
#include <vector>
void test01()
{
- bool test __attribute__((unused)) = true;
-
using __gnu_test::counter_type;
const std::size_t nb_values = 1000;