1 //===----------------------------------------------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 // bitset<N>& flip(size_t pos); // constexpr since C++23 10 11 #include <bitset> 12 #include <cassert> 13 #include <cstddef> 14 #include <vector> 15 16 #include "../bitset_test_cases.h" 17 #include "test_macros.h" 18 19 template <std::size_t N> test_flip_one()20TEST_CONSTEXPR_CXX23 void test_flip_one() { 21 std::vector<std::bitset<N> > const cases = get_test_cases<N>(); 22 for (std::size_t c = 0; c != cases.size(); ++c) { 23 std::bitset<N> v = cases[c]; 24 if (v.size() > 0) { 25 std::size_t middle = v.size() / 2; 26 v.flip(middle); 27 bool b = v[middle]; 28 assert(v[middle] == b); 29 v.flip(middle); 30 assert(v[middle] != b); 31 v.flip(middle); 32 assert(v[middle] == b); 33 } 34 } 35 } 36 test()37TEST_CONSTEXPR_CXX23 bool test() { 38 test_flip_one<0>(); 39 test_flip_one<1>(); 40 test_flip_one<31>(); 41 test_flip_one<32>(); 42 test_flip_one<33>(); 43 test_flip_one<63>(); 44 test_flip_one<64>(); 45 test_flip_one<65>(); 46 47 return true; 48 } 49 main(int,char **)50int main(int, char**) { 51 test(); 52 test_flip_one<1000>(); // not in constexpr because of constexpr evaluation step limits 53 #if TEST_STD_VER > 20 54 static_assert(test()); 55 #endif 56 57 return 0; 58 } 59