microsoft · CaseyCarter · Feb 21, 2023 · Feb 20, 2023 · Feb 20, 2023
@@ -12,6 +12,6 @@
   skipped-tests-comment-list-files:
     - 'magic_comments.txt'
   skipped-tests-list-files:
-    - 'skipped_tests.txt'
+    - 'expected_results.txt'
   configuration-files:
     - 'usual_matrix.lst'
@@ -299,7 +299,8 @@ std/language.support/support.limits/support.limits.general/utility.version.compi
 
 
 # *** MISSING COMPILER FEATURES ***
-# Nothing here! :-)
+# MSVC doesn't properly support [[no_unique_address]]
+std/algorithms/algorithms.results/no_unique_address.compile.pass.cpp SKIPPED
 
 
 # *** MISSING LWG ISSUE RESOLUTIONS ***
@@ -366,6 +367,9 @@ std/concepts/concepts.compare/concept.equalitycomparable/equality_comparable_wit
 # DevCom-10165380: [ICE] constexpr evaluation confused by complicated use of string literals
 std/utilities/format/format.fmt.string/get.pass.cpp:0 FAIL
 
+# DevCom-10284753: Overload resolution is sometimes wrong for templated classes whose template argument are cv void
+std/utilities/function.objects/func.wrap/func.wrap.func/noncopyable_return_type.pass.cpp SKIPPED
+
 
 # *** CLANG COMPILER BUGS ***
 # LLVM-46207 Clang's tgmath.h interferes with the UCRT's tgmath.h

@@ -38,8 +38,6 @@
 #include <exception>
 #include <iostream>
 
-int main() {} // COMPILE-ONLY
-
 // VSO-115482 - Ensure type_info is in namespace std when _HAS_EXCEPTIONS=0.
 using check_typeinfo = std::type_info;
 

@@ -3,6 +3,4 @@
 
 #include <locale>
 
-int main() {} // COMPILE-ONLY
-
 static_assert(std::ctype<char>::table_size == 256, "");
@@ -20,8 +20,6 @@
 
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
-int main() {} // COMPILE-ONLY
-
 struct MeowIterator;
 
 namespace std {

@@ -4,5 +4,3 @@
 #define MEOW_ANGLE(X) <X>
 
 #include MEOW_ANGLE(MEOW_HEADER)
-
-int main() {} // COMPILE-ONLY
@@ -8,8 +8,6 @@ using namespace std;
 
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
-int main() {} // COMPILE-ONLY
-
 enum e1 : signed char {};
 enum e2 : short {};
 enum e3 : int {};

@@ -1,8 +1,6 @@
 // Copyright (c) Microsoft Corporation.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
-int main() {} // COMPILE-ONLY
-
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
 // This test program verifies all of the container requirements for the Standard Library containers,

@@ -9,8 +9,6 @@
 #include <cvt/utf8>
 #include <cvt/utf8_utf16>
 
-int main() {} // COMPILE-ONLY
-
 // Regression test for DevDiv-453373 : codecvt_one_one compile errors
 
 // Make sure we can instantiate the types from the problem headers:

@@ -11,8 +11,6 @@
 #include <unordered_set>
 #include <vector>
 
-int main() {} // COMPILE-ONLY
-
 // Regression test for DevDiv-483851 : [C++11] STL containers must use std::allocator_traits in debug mode
 
 template <typename T, typename Base>

@@ -8,8 +8,6 @@ using namespace std;
 
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
-int main() {} // COMPILE-ONLY
-
 STATIC_ASSERT(is_same_v<ratio_add<ratio<30, 8>, ratio<42, 27>>, ratio<191, 36>>);
 STATIC_ASSERT(is_same_v<ratio_subtract<ratio<30, 8>, ratio<42, 27>>, ratio<79, 36>>);
 STATIC_ASSERT(is_same_v<ratio_multiply<ratio<30, 8>, ratio<42, 27>>, ratio<35, 6>>);

@@ -520,5 +520,3 @@ STATIC_ASSERT(assert_equal_memcmp_is_safe<true, counted_iterator<int*>, int*>())
 STATIC_ASSERT(assert_equal_memcmp_is_safe<true, int*, counted_iterator<int*>>());
 STATIC_ASSERT(assert_equal_memcmp_is_safe<true, counted_iterator<int*>, counted_iterator<int*>>());
 #endif // __cpp_lib_concepts
-
-int main() {} // COMPILE-ONLY
@@ -482,5 +482,3 @@ void iter_cat_test_cases() {
     test_iter_cat_for_containers<false, array<int, 8>, array<volatile int, 8>>();
     test_iter_cat_for_containers<false, array<volatile int, 8>, array<volatile int, 8>>();
 }
-
-int main() {} // COMPILE-ONLY
@@ -326,5 +326,3 @@ void lex_compare_memcmp_classify_test_cases() {
     test_lex_compare_memcmp_classify_for_pred_helper<void, unsigned char, volatile unsigned char, less<>>();
     test_lex_compare_memcmp_classify_for_pred_helper<void, volatile unsigned char, volatile unsigned char, less<>>();
 }
-
-int main() {} // COMPILE-ONLY
@@ -60,5 +60,3 @@ STATIC_ASSERT(has_cxx20 == has_member_pocma<allocator<void>>);
 STATIC_ASSERT(has_cxx20 == has_member_is_always_equal<allocator<void>>);
 STATIC_ASSERT(has_cxx20 == can_allocate<allocator<void>>);
 STATIC_ASSERT(has_cxx20 == is_convertible_v<allocator<int>, allocator<void>>);
-
-int main() {} // COMPILE-ONLY
@@ -6,8 +6,6 @@
 
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
-int main() {} // COMPILE-ONLY
-
 constexpr long double ld = 10.0l;
 constexpr double d       = 10.0;
 constexpr float f        = 10.0f;

@@ -21,8 +21,6 @@
 
 using namespace std;
 
-int main() {} // COMPILE-ONLY
-
 #pragma warning(disable : 4251) // class 'A' needs to have dll-interface to be used by clients of class 'B'
 #pragma warning(disable : 4275) // non dll-interface struct 'A' used as base for dll-interface class 'B'
 

@@ -39,5 +39,3 @@ void test_every_distribution() {
     test<piecewise_constant_distribution<double>>();
     test<piecewise_linear_distribution<double>>();
 }
-
-int main() {} // COMPILE-ONLY
@@ -7,8 +7,6 @@
 
 using namespace std;
 
-int main() {} // COMPILE-ONLY
-
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
 #ifdef __cpp_lib_byte

@@ -14,5 +14,3 @@ struct CharTraits : char_traits<char> {
 };
 
 struct Streambuf : basic_streambuf<char, CharTraits> {};
-
-int main() {} // COMPILE-ONLY
@@ -96,5 +96,3 @@ STATIC_ASSERT(!can_make_any<unique_ptr<int>, const unique_ptr<int>&>);
 STATIC_ASSERT(!can_make_any<int, int, int>);
 STATIC_ASSERT(!can_make_any<int, initializer_list<int>&>);
 #endif // _HAS_CXX17
-
-int main() {} // COMPILE-ONLY
@@ -10,5 +10,3 @@ using namespace std;
 string test_gh_2558() {
     return format("I have {} cute {} kittens.\n", 1729, "fluffy");
 }
-
-int main() {} // COMPILE-ONLY
@@ -41,5 +41,3 @@ static_assert(random_access_iterator<move_iterator<Test* volatile*>>);
 static_assert(random_access_iterator<move_iterator<Test* const volatile*>>);
 static_assert(random_access_iterator<move_iterator<int Test::*volatile*>>);
 static_assert(random_access_iterator<move_iterator<int Test::*const volatile*>>);
-
-int main() {} // COMPILE-ONLY
@@ -4,5 +4,3 @@
 // GH-2711 <functional>: incompatible with /std:c++latest and /Zc:alignedNew-
 // GH-3294 <chrono>: building with -J emits C4365
 #include <__msvc_all_public_headers.hpp>
-
-int main() {} // COMPILE-ONLY
@@ -236,5 +236,3 @@ void test_neither_unwrappable() {
     test_not_unwrappable_views<test::iterator<fwd, Nontrivial>::unwrapping_ignorant, sent_nt>();
     test_not_unwrappable_views<test::iterator<input, Nontrivial>::unwrapping_ignorant, sent_nt>();
 }
-
-int main() {} // COMPILE-ONLY
@@ -3,8 +3,6 @@
 
 #include <random>
 
-int main() {} // COMPILE-ONLY
-
 void test() {
     // GH-3105 "<random>: std::piecewise_constant_distribution<float>::densities() gives warning C4244"
     (void) std::piecewise_constant_distribution<float>{}.densities();

@@ -26,5 +26,3 @@ struct meow_category : error_category {
 #if _HAS_CXX20
 [[maybe_unused]] constexpr meow_category meowing_cat;
 #endif // _HAS_CXX20
-
-int main() {} // COMPILE-ONLY
@@ -3,8 +3,6 @@
 
 #include <cmath>
 
-int main() {} // COMPILE-ONLY
-
 // Ensure the compiler doesn't warn about narrowing long double to double in <cmath> GENERIC_MATH2 templates
 #define TEST(meow) \
     long double test_##meow(long double x) { return std::meow(x, 1); }

@@ -19,5 +19,3 @@ void test_LWG_3146() {
     static_assert(is_same_v<decltype(const_reference), reference_wrapper<const reference_wrapper<int>>>,
         "LWG-3146 is not implemented");
 }
-
-int main() {} // COMPILE-ONLY
@@ -7,8 +7,6 @@
 
 using namespace std;
 
-int main() {
-    static_assert(is_nothrow_default_constructible_v<seed_seq>, "");
-    static_assert(!is_constructible_v<seed_seq, initializer_list<vector<int>::iterator>>, "");
-    static_assert(is_constructible_v<seed_seq, initializer_list<int>>, "");
-}
+static_assert(is_nothrow_default_constructible_v<seed_seq>, "");
+static_assert(!is_constructible_v<seed_seq, initializer_list<vector<int>::iterator>>, "");
+static_assert(is_constructible_v<seed_seq, initializer_list<int>>, "");
@@ -22,5 +22,3 @@ void test_recursive(recursive_directory_iterator dir) {
     [[maybe_unused]] auto first_5_files = dir | views::take(5);
     static_assert(borrowed_range<recursive_directory_iterator>);
 }
-
-int main() {} // COMPILE-ONLY
@@ -88,5 +88,3 @@ STATIC_ASSERT(has_memtype_difference_type<pointer_traits<CheckPriority<char>>>);
 STATIC_ASSERT(is_same_v<pointer_traits<CheckPriority<char>>::element_type, char[42]>);
 STATIC_ASSERT(is_same_v<pointer_traits<CheckPriority<char>>::pointer, CheckPriority<char>>);
 STATIC_ASSERT(is_same_v<pointer_traits<CheckPriority<char>>::difference_type, ptrdiff_t>);
-
-int main() {} // COMPILE-ONLY
@@ -45,5 +45,3 @@ static_assert(CanSize<ranges::iota_view<char16_t, _Signed128>>);
 static_assert(CanSize<ranges::iota_view<char16_t, _Unsigned128>>);
 static_assert(CanSize<ranges::iota_view<char32_t, _Signed128>>);
 static_assert(CanSize<ranges::iota_view<char32_t, _Unsigned128>>);
-
-int main() {} // COMPILE-ONLY
@@ -12,8 +12,6 @@ constexpr auto int_max = std::numeric_limits<int>::max();
 
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
-int main() {} // COMPILE-ONLY
-
 STATIC_ASSERT(gcd(0, 0) == 0);
 STATIC_ASSERT(gcd(0, 1) == 1);
 STATIC_ASSERT(gcd(1, 0) == 1);

@@ -7,8 +7,6 @@
 using namespace std;
 using namespace std::chrono;
 
-int main() {} // COMPILE-ONLY
-
 static_assert(noexcept(year{} / month{}));
 static_assert(noexcept(year{} / 0));
 static_assert(noexcept(month{} / day{}));

@@ -6,8 +6,6 @@
 
 using namespace std;
 
-int main() {} // COMPILE-ONLY
-
 struct incomplete;
 
 template <class T>

@@ -111,5 +111,3 @@ struct test_forward_declarations {
 test_aliases aliases;
 test_forward_declarations<char> forward_declarations_char;
 test_forward_declarations<wchar_t> forward_declarations_wchar_t;
-
-int main() {} // COMPILE-ONLY
@@ -7,8 +7,6 @@ using namespace std;
 
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
-int main() {} // COMPILE-ONLY
-
 struct Cat {};
 
 struct ExplicitlyConvertibleFromCat {

@@ -17,8 +17,6 @@
 
 namespace ranges = std::ranges;
 
-int main() {} // COMPILE-ONLY
-
 namespace detail {
     static constexpr bool permissive() {
         return false;

@@ -21,8 +21,6 @@
 using std::output_iterator_tag, std::input_iterator_tag, std::forward_iterator_tag, std::bidirectional_iterator_tag,
     std::random_access_iterator_tag, std::contiguous_iterator_tag;
 
-int main() {} // COMPILE-ONLY
-
 void test_LWG_3470() {
     // LWG-3470 relaxed the "convertible-to-non-slicing" requirements to allow this non-slicing case
     int a[]                 = {1, 2, 3};

@@ -10,8 +10,6 @@
 
 using namespace std;
 
-int main() {} // COMPILE-ONLY
-
 using test::CanCompare, test::CanDifference, test::WrappedState, test::ProxyRef, test::to_bool;
 
 // Validate test::iterator and test::sentinel

@@ -115,5 +115,3 @@ namespace test {
 
 static_assert(std::atomic_thread_fence == atomic_thread_fence);
 static_assert(std::atomic_signal_fence == atomic_signal_fence);
-
-int main() {} // COMPILE-ONLY
@@ -6,8 +6,6 @@
 
 using namespace std;
 
-int main() {} // COMPILE-ONLY
-
 static_assert(same_as<decltype(from_range), const from_range_t>);
 static_assert(semiregular<from_range_t>);
 

@@ -10,8 +10,6 @@
 
 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
-int main() {} // COMPILE-ONLY
-
 template <class Stream, class charT, class = void>
 constexpr bool stream_insertable = false;
 template <class Stream, class charT>

@@ -133,5 +133,3 @@ void test_stack2(pmr::vector<int>& pc) {
     [[maybe_unused]] auto x = SfinaeTester<stack>::test(pc, &mr);
     [[maybe_unused]] auto y = SfinaeTester<stack>::test(move(pc), &mr);
 }
-
-int main() {} // COMPILE-ONLY
@@ -14,5 +14,3 @@ void test() {
     (void) p2;
     (void) p3;
 }
-
-int main() {} // COMPILE-ONLY
@@ -142,5 +142,3 @@ constexpr bool test_P1328R1_constexpr_type_info_equality() {
 }
 
 static_assert(test_P1328R1_constexpr_type_info_equality());
-
-int main() {} // COMPILE-ONLY
@@ -192,5 +192,3 @@ struct NotSemiregular {
 };
 
 static_assert(!CanConstSentinel<NotSemiregular>);
-
-int main() {} // COMPILE-ONLY
@@ -8,8 +8,6 @@ using namespace std;
 #define NOEXCEPT(...)     static_assert(noexcept(__VA_ARGS__), #__VA_ARGS__ " should be noexcept")
 #define NOT_NOEXCEPT(...) static_assert(!noexcept(__VA_ARGS__), #__VA_ARGS__ " should NOT be noexcept")
 
-int main() {} // COMPILE-ONLY
-
 struct throwing_move_ctor {
     throwing_move_ctor(int) noexcept {}
     throwing_move_ctor(throwing_move_ctor&&) noexcept(false) {}

@@ -51,5 +51,3 @@ template <class T>
 constexpr bool check_diff_cpp20_concepts = !requires(T p) { attempted_equals(p, nullptr); };
 
 static_assert(check_diff_cpp20_concepts<shared_ptr<int>>);
-
-int main() {} // COMPILE-ONLY
@@ -8,8 +8,6 @@
 
 using namespace std;
 
-int main() {} // COMPILE-ONLY
-
 struct NoexceptIf {
     template <bool B, class... Ts>
     void operator()(bool_constant<B>, Ts...) const noexcept(B);
Original file line number	Diff line number	Diff line change
Expand Up		@@ -3,6 +3,4 @@

		#include <locale>

		int main() {} // COMPILE-ONLY

		static_assert(std::ctype<char>::table_size == 256, "");
Original file line number	Diff line number	Diff line change
Expand Up		@@ -4,5 +4,3 @@
		#define MEOW_ANGLE(X) <X>

		#include MEOW_ANGLE(MEOW_HEADER)

		int main() {} // COMPILE-ONLY
Original file line number	Diff line number	Diff line change
Expand Up		@@ -14,5 +14,3 @@ struct CharTraits : char_traits<char> {
		};

		struct Streambuf : basic_streambuf<char, CharTraits> {};

		int main() {} // COMPILE-ONLY
Original file line number	Diff line number	Diff line change
Expand Up		@@ -115,5 +115,3 @@ namespace test {

		static_assert(std::atomic_thread_fence == atomic_thread_fence);
		static_assert(std::atomic_signal_fence == atomic_signal_fence);

		int main() {} // COMPILE-ONLY
Original file line number	Diff line number	Diff line change
Expand Up		@@ -142,5 +142,3 @@ constexpr bool test_P1328R1_constexpr_type_info_equality() {
		}

		static_assert(test_P1328R1_constexpr_type_info_equality());

		int main() {} // COMPILE-ONLY
Original file line number	Diff line number	Diff line change
Expand Up		@@ -192,5 +192,3 @@ struct NotSemiregular {
		};

		static_assert(!CanConstSentinel<NotSemiregular>);

		int main() {} // COMPILE-ONLY
Original file line number	Diff line number	Diff line change
Expand Up		@@ -51,5 +51,3 @@ template <class T>
		constexpr bool check_diff_cpp20_concepts = !requires(T p) { attempted_equals(p, nullptr); };

		static_assert(check_diff_cpp20_concepts<shared_ptr<int>>);

		int main() {} // COMPILE-ONLY