Author: stl_msft Date: Tue Dec 12 16:51:27 2017 New Revision: 320535 URL: http://llvm.org/viewvc/llvm-project?rev=320535&view=rev Log: [libcxx] [test] Fix MSVC warnings, null pointer deref.
test/std/algorithms/alg.modifying.operations/alg.generate/generate_n.pass.cpp Silence MSVC warning C4244. This is expected when passing floating-point values for size. test/std/utilities/template.bitset/bitset.members/to_ullong.pass.cpp test/std/utilities/template.bitset/bitset.members/to_ulong.pass.cpp Avoid MSVC "warning C4293: '<<': shift count negative or too big, undefined behavior". MSVC sees (1ULL << N) and warns - being guarded by const bool canFit is insufficient. A small change to the code avoids the warning without the need for a pragma. Remove a spurious printf() declaration from to_ullong.pass.cpp. Change ULL to UL in to_ulong.pass.cpp. The ULL suffix was probably copy-pasted. test/std/utilities/tuple/tuple.general/ignore.pass.cpp Use LIBCPP_STATIC_ASSERT for consistency with other files. test/support/container_test_types.h Fix a null pointer dereference, found by MSVC /analyze warning C6011 "Dereferencing NULL pointer 'm_expected_args'." Fixes D41030. Modified: libcxx/trunk/test/std/algorithms/alg.modifying.operations/alg.generate/generate_n.pass.cpp libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ullong.pass.cpp libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ulong.pass.cpp libcxx/trunk/test/std/utilities/tuple/tuple.general/ignore.pass.cpp libcxx/trunk/test/support/container_test_types.h Modified: libcxx/trunk/test/std/algorithms/alg.modifying.operations/alg.generate/generate_n.pass.cpp URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/algorithms/alg.modifying.operations/alg.generate/generate_n.pass.cpp?rev=320535&r1=320534&r2=320535&view=diff ============================================================================== --- libcxx/trunk/test/std/algorithms/alg.modifying.operations/alg.generate/generate_n.pass.cpp (original) +++ libcxx/trunk/test/std/algorithms/alg.modifying.operations/alg.generate/generate_n.pass.cpp Tue Dec 12 16:51:27 2017 @@ -15,6 +15,10 @@ // void // generate_n(Iter first, Size n, Generator gen); +#ifdef _MSC_VER +#pragma warning(disable: 4244) // conversion from 'const double' to 'int', possible loss of data +#endif + #include <algorithm> #include <cassert> Modified: libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ullong.pass.cpp URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ullong.pass.cpp?rev=320535&r1=320534&r2=320535&view=diff ============================================================================== --- libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ullong.pass.cpp (original) +++ libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ullong.pass.cpp Tue Dec 12 16:51:27 2017 @@ -8,7 +8,6 @@ //===----------------------------------------------------------------------===// // test unsigned long long to_ullong() const; -extern "C" int printf(const char *, ...); #include <bitset> #include <algorithm> @@ -40,7 +39,7 @@ void test_to_ullong() { // test values bigger than can fit into the bitset const unsigned long long val = 0x55AAAAFFFFAAAA55ULL; const bool canFit = N < sizeof(unsigned long long) * CHAR_BIT; - const unsigned long long mask = canFit ? (1ULL << N) - 1 : (unsigned long long)(-1); + const unsigned long long mask = canFit ? (1ULL << (canFit ? N : 0)) - 1 : (unsigned long long)(-1); // avoid compiler warnings std::bitset<N> v(val); assert(v.to_ullong() == (val & mask)); // we shouldn't return bit patterns from outside the limits of the bitset. } Modified: libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ulong.pass.cpp URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ulong.pass.cpp?rev=320535&r1=320534&r2=320535&view=diff ============================================================================== --- libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ulong.pass.cpp (original) +++ libcxx/trunk/test/std/utilities/template.bitset/bitset.members/to_ulong.pass.cpp Tue Dec 12 16:51:27 2017 @@ -39,9 +39,9 @@ void test_to_ulong() } { // test values bigger than can fit into the bitset - const unsigned long val = 0x5AFFFFA5ULL; + const unsigned long val = 0x5AFFFFA5UL; const bool canFit = N < sizeof(unsigned long) * CHAR_BIT; - const unsigned long mask = canFit ? (1ULL << N) - 1 : (unsigned long)(-1); + const unsigned long mask = canFit ? (1UL << (canFit ? N : 0)) - 1 : (unsigned long)(-1); // avoid compiler warnings std::bitset<N> v(val); assert(v.to_ulong() == (val & mask)); // we shouldn't return bit patterns from outside the limits of the bitset. } Modified: libcxx/trunk/test/std/utilities/tuple/tuple.general/ignore.pass.cpp URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/utilities/tuple/tuple.general/ignore.pass.cpp?rev=320535&r1=320534&r2=320535&view=diff ============================================================================== --- libcxx/trunk/test/std/utilities/tuple/tuple.general/ignore.pass.cpp (original) +++ libcxx/trunk/test/std/utilities/tuple/tuple.general/ignore.pass.cpp Tue Dec 12 16:51:27 2017 @@ -48,9 +48,7 @@ int main() { { static_assert(test_ignore_constexpr(), ""); } -#if defined(_LIBCPP_VERSION) { - static_assert(std::is_trivial<decltype(std::ignore)>::value, ""); + LIBCPP_STATIC_ASSERT(std::is_trivial<decltype(std::ignore)>::value, ""); } -#endif } Modified: libcxx/trunk/test/support/container_test_types.h URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/support/container_test_types.h?rev=320535&r1=320534&r2=320535&view=diff ============================================================================== --- libcxx/trunk/test/support/container_test_types.h (original) +++ libcxx/trunk/test/support/container_test_types.h Tue Dec 12 16:51:27 2017 @@ -167,8 +167,10 @@ struct AllocatorConstructController { // Return true if the construction was expected and false otherwise. // This should only be called by 'Allocator.construct'. bool check(detail::TypeID const& tid) { - if (!m_expected_args) + if (!m_expected_args) { assert(m_allow_unchecked); + return m_allow_unchecked; + } bool res = *m_expected_args == tid; if (m_expected_count == -1 || --m_expected_count == -1) m_expected_args = nullptr; _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits