1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//                     The LLVM Compiler Infrastructure
4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// test bool any() const;
11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <bitset>
13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert>
14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <std::size_t N>
16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_any()
17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    std::bitset<N> v;
19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    v.reset();
20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(v.any() == false);
21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    v.set();
22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(v.any() == (N != 0));
23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    if (N > 1)
24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        v[N/2] = false;
26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(v.any() == true);
27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        v.reset();
28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        v[N/2] = true;
29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(v.any() == true);
30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main()
34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<0>();
36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<1>();
37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<31>();
38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<32>();
39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<33>();
40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<63>();
41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<64>();
42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<65>();
43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_any<1000>();
44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
45