blob: 2f8f7111f5a133b5e6d998c0b61cee2c7784c1a8 [file] [log] [blame]
Howard Hinnantc52f43e2010-08-22 00:59:46 +00001//===----------------------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Howard Hinnantb64f8b02010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnantc52f43e2010-08-22 00:59:46 +00007//
8//===----------------------------------------------------------------------===//
9
10// test bitset<N> operator~() const;
11
12#include <bitset>
13#include <cstdlib>
14#include <cassert>
15
Howard Hinnant97ecd642011-05-17 19:12:55 +000016#pragma clang diagnostic ignored "-Wtautological-compare"
17
Howard Hinnantc52f43e2010-08-22 00:59:46 +000018template <std::size_t N>
19std::bitset<N>
20make_bitset()
21{
22 std::bitset<N> v;
23 for (std::size_t i = 0; i < N; ++i)
24 v[i] = static_cast<bool>(std::rand() & 1);
25 return v;
26}
27
28template <std::size_t N>
29void test_not_all()
30{
31 std::bitset<N> v1 = make_bitset<N>();
32 std::bitset<N> v2 = ~v1;
33 for (std::size_t i = 0; i < N; ++i)
34 assert(v2[i] == ~v1[i]);
35}
36
37int main()
38{
39 test_not_all<0>();
40 test_not_all<1>();
41 test_not_all<31>();
42 test_not_all<32>();
43 test_not_all<33>();
44 test_not_all<63>();
45 test_not_all<64>();
46 test_not_all<65>();
47 test_not_all<1000>();
48}