mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-20 03:55:48 -04:00
bf7dc572f1
[libcxx] [test] Calling min and max on an empty valarray is UB. libcxx/test/std/numerics/numarray/template.valarray/valarray.members/min.pass.cpp libcxx/test/std/numerics/numarray/template.valarray/valarray.members/max.pass.cpp The calls `v1.min();` and `v1.max();` were emitting nodiscard warnings with MSVC's STL. Upon closer inspection, these calls were triggering undefined behavior. N4842 [valarray.members] says: "T min() const; 8 Preconditions: size() > 0 is true. T max() const; 10 Preconditions: size() > 0 is true." As these tests already provide coverage for non-empty valarrays (immediately above), I've simply deleted the code for empty valarrays. [libcxx] [test] Add macros to msvc_stdlib_force_include.h (NFC). libcxx/test/support/msvc_stdlib_force_include.h These macros are being used by: libcxx/test/std/utilities/meta/meta.trans/meta.trans.other/result_of11.pass.cpp Defining them to nothing allows that test to pass. [libcxx] [test] Silence MSVC warning C5063 for is_constant_evaluated (NFC). libcxx/test/std/utilities/meta/meta.const.eval/is_constant_evaluated.pass.cpp This test is intentionally writing code that MSVC intentionally warns about, so the warning should be silenced. Additionally, comment an endif for clarity. [libcxx] [test] Silence MSVC warning C4127 (NFC). libcxx/test/support/charconv_test_helpers.h MSVC avoids emitting this warning when it sees a single constexpr value being tested, but this condition is a mix of compile-time and run-time. Using push-disable-pop is the least intrusive way to silence this. [libcxx] [test] Silence MSVC truncation warning (NFC). libcxx/test/std/containers/sequences/vector/vector.cons/construct_iter_iter.pass.cpp This test is intentionally truncating float to int, which MSVC intentionally warns about, so push-disable-pop is necessary. [libcxx] [test] Avoid truncation warnings in erase_if tests (NFC). libcxx/test/std/containers/associative/map/map.erasure/erase_if.pass.cpp libcxx/test/std/containers/associative/multimap/multimap.erasure/erase_if.pass.cpp libcxx/test/std/containers/unord/unord.map/erase_if.pass.cpp libcxx/test/std/containers/unord/unord.multimap/erase_if.pass.cpp These tests use maps with `short` keys and values, emitting MSVC truncation warnings from `int`. Adding `static_cast` to `key_type` and `mapped_type` avoids these warnings. As these tests require C++20 mode (or newer), for brevity I've changed the multimap tests to use emplace to initialize the test data. This has no effect on the erase_if testing.
95 lines
3.1 KiB
C
95 lines
3.1 KiB
C
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SUPPORT_MSVC_STDLIB_FORCE_INCLUDE_H
|
|
#define SUPPORT_MSVC_STDLIB_FORCE_INCLUDE_H
|
|
|
|
// This header is force-included when running the libc++ tests against the
|
|
// MSVC standard library.
|
|
|
|
#ifndef _LIBCXX_IN_DEVCRT
|
|
// Silence warnings about CRT machinery.
|
|
#define _CRT_SECURE_NO_WARNINGS
|
|
|
|
// Avoid assertion dialogs.
|
|
#define _CRT_SECURE_INVALID_PARAMETER(EXPR) ::abort()
|
|
#endif // _LIBCXX_IN_DEVCRT
|
|
|
|
#include <crtdbg.h>
|
|
#include <stdlib.h>
|
|
|
|
#if defined(_LIBCPP_VERSION)
|
|
#error This header may not be used when targeting libc++
|
|
#endif
|
|
|
|
#ifndef _LIBCXX_IN_DEVCRT
|
|
struct AssertionDialogAvoider {
|
|
AssertionDialogAvoider() {
|
|
_CrtSetReportMode(_CRT_ASSERT, _CRTDBG_MODE_FILE);
|
|
_CrtSetReportFile(_CRT_ASSERT, _CRTDBG_FILE_STDERR);
|
|
|
|
_CrtSetReportMode(_CRT_ERROR, _CRTDBG_MODE_FILE);
|
|
_CrtSetReportFile(_CRT_ERROR, _CRTDBG_FILE_STDERR);
|
|
}
|
|
};
|
|
|
|
const AssertionDialogAvoider assertion_dialog_avoider{};
|
|
#endif // _LIBCXX_IN_DEVCRT
|
|
|
|
// MSVC frontend only configurations
|
|
#if !defined(__clang__)
|
|
// Simulate feature-test macros.
|
|
#define __has_feature(X) _MSVC_HAS_FEATURE_ ## X
|
|
#define _MSVC_HAS_FEATURE_cxx_exceptions 1
|
|
#define _MSVC_HAS_FEATURE_cxx_rtti 1
|
|
#define _MSVC_HAS_FEATURE_address_sanitizer 0
|
|
#define _MSVC_HAS_FEATURE_memory_sanitizer 0
|
|
#define _MSVC_HAS_FEATURE_thread_sanitizer 0
|
|
|
|
#define __has_attribute(X) _MSVC_HAS_ATTRIBUTE_ ## X
|
|
#define _MSVC_HAS_ATTRIBUTE_vector_size 0
|
|
|
|
// Silence compiler warnings.
|
|
#pragma warning(disable: 4180) // qualifier applied to function type has no meaning; ignored
|
|
#pragma warning(disable: 4324) // structure was padded due to alignment specifier
|
|
#pragma warning(disable: 4521) // multiple copy constructors specified
|
|
#pragma warning(disable: 4702) // unreachable code
|
|
#pragma warning(disable: 28251) // Inconsistent annotation for 'new': this instance has no annotations.
|
|
#endif // !defined(__clang__)
|
|
|
|
// MSVC doesn't have __int128_t.
|
|
#define _LIBCPP_HAS_NO_INT128
|
|
|
|
// MSVC has quick_exit() and at_quick_exit().
|
|
#define _LIBCPP_HAS_QUICK_EXIT
|
|
|
|
#ifndef _LIBCXX_IN_DEVCRT
|
|
// atomic_is_lock_free.pass.cpp needs this VS 2015 Update 2 fix.
|
|
#define _ENABLE_ATOMIC_ALIGNMENT_FIX
|
|
|
|
// Silence warnings about features that are deprecated in C++17 and C++20.
|
|
#define _SILENCE_ALL_CXX17_DEPRECATION_WARNINGS
|
|
#define _SILENCE_ALL_CXX20_DEPRECATION_WARNINGS
|
|
#endif // _LIBCXX_IN_DEVCRT
|
|
|
|
#include <version>
|
|
|
|
#if _HAS_CXX20
|
|
#define TEST_STD_VER 99
|
|
#elif _HAS_CXX17
|
|
#define TEST_STD_VER 17
|
|
#else // !(_HAS_CXX20 || _HAS_CXX17)
|
|
#define TEST_STD_VER 14
|
|
#endif
|
|
|
|
#define _LIBCPP_AVAILABILITY_THROW_BAD_ANY_CAST
|
|
#define _LIBCPP_SUPPRESS_DEPRECATED_PUSH
|
|
#define _LIBCPP_SUPPRESS_DEPRECATED_POP
|
|
|
|
#endif // SUPPORT_MSVC_STDLIB_FORCE_INCLUDE_H
|