Fix PR#35438 - bitset constructor does not zero unused bits

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@319074 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Marshall Clow
2017-11-27 19:03:30 +00:00
parent 0f25cd9e35
commit 21edec7dee
3 changed files with 24 additions and 2 deletions

View File

@@ -503,7 +503,10 @@ template <size_t _Size>
inline inline
_LIBCPP_CONSTEXPR _LIBCPP_CONSTEXPR
__bitset<1, _Size>::__bitset(unsigned long long __v) _NOEXCEPT __bitset<1, _Size>::__bitset(unsigned long long __v) _NOEXCEPT
: __first_(static_cast<__storage_type>(__v)) : __first_(
_Size == __bits_per_word ? static_cast<__storage_type>(__v)
: static_cast<__storage_type>(__v) & ((__storage_type(1) << _Size) - 1)
)
{ {
} }

View File

@@ -36,11 +36,18 @@ void test_to_ullong()
std::bitset<N> v(j); std::bitset<N> v(j);
assert(j == v.to_ullong()); assert(j == v.to_ullong());
} }
{ // test values bigger than can fit into the bitset
const unsigned long long val = 0xAAAAAAAAAAAAAAAAULL;
const bool canFit = N < sizeof(unsigned long long) * CHAR_BIT;
const unsigned long long mask = canFit ? (1ULL << N) - 1 : (unsigned long long)(-1);
std::bitset<N> v(val);
assert(v.to_ullong() == (val & mask)); // we shouldn't return bit patterns from outside the limits of the bitset.
}
} }
int main() int main()
{ {
test_to_ullong<0>(); // test_to_ullong<0>();
test_to_ullong<1>(); test_to_ullong<1>();
test_to_ullong<31>(); test_to_ullong<31>();
test_to_ullong<32>(); test_to_ullong<32>();

View File

@@ -16,9 +16,12 @@
#include <climits> #include <climits>
#include <cassert> #include <cassert>
#include <iostream>
template <std::size_t N> template <std::size_t N>
void test_to_ulong() void test_to_ulong()
{ {
std::cout << "Testing size = " << N << std::endl;
const std::size_t M = sizeof(unsigned long) * CHAR_BIT < N ? sizeof(unsigned long) * CHAR_BIT : N; const std::size_t M = sizeof(unsigned long) * CHAR_BIT < N ? sizeof(unsigned long) * CHAR_BIT : N;
const bool is_M_zero = std::integral_constant<bool, M == 0>::value; // avoid compiler warnings const bool is_M_zero = std::integral_constant<bool, M == 0>::value; // avoid compiler warnings
const std::size_t X = is_M_zero ? sizeof(unsigned long) * CHAR_BIT - 1 : sizeof(unsigned long) * CHAR_BIT - M; const std::size_t X = is_M_zero ? sizeof(unsigned long) * CHAR_BIT - 1 : sizeof(unsigned long) * CHAR_BIT - M;
@@ -34,9 +37,18 @@ void test_to_ulong()
for (std::size_t i = 0; i < sizeof(tests)/sizeof(tests[0]); ++i) for (std::size_t i = 0; i < sizeof(tests)/sizeof(tests[0]); ++i)
{ {
std::size_t j = tests[i]; std::size_t j = tests[i];
std::cout << " Testing value = " << j << std::endl;
std::bitset<N> v(j); std::bitset<N> v(j);
assert(j == v.to_ulong()); assert(j == v.to_ulong());
} }
{ // test values bigger than can fit into the bitset
const unsigned long val = 0xAAAAAAAAULL;
const bool canFit = N < sizeof(unsigned long) * CHAR_BIT;
const unsigned long mask = canFit ? (1ULL << N) - 1 : (unsigned long)(-1);
std::bitset<N> v(val);
assert(v.to_ulong() == (val & mask)); // we shouldn't return bit patterns from outside the limits of the bitset.
}
} }
int main() int main()