Skip to content

[libc++] [test] Cleanup compile-only tests #94121

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jun 2, 2024
Merged

[libc++] [test] Cleanup compile-only tests #94121

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a6c5e82
Drop empty `main` functions, rename to MEOW.compile.pass.cpp.
StephanTLavavej Jun 1, 2024
a502719
clang-format.
StephanTLavavej Jun 1, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions ...atomics/atomics.ref/member_types.pass.cpp → ...atomics.ref/member_types.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -128,5 +128,3 @@ void testall() {
test<long double>();
// + TODO extended floating-point types
}

int main(int, char**) { return 0; }
22 changes: 8 additions & 14 deletions ...s.totallyordered/totally_ordered.pass.cpp → ...yordered/totally_ordered.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -74,25 +74,25 @@ static_assert(!std::totally_ordered<int (S::*)() noexcept>);
static_assert(!std::totally_ordered<int (S::*)() &>);
static_assert(!std::totally_ordered<int (S::*)() & noexcept>);
static_assert(!std::totally_ordered<int (S::*)() &&>);
static_assert(!std::totally_ordered < int (S::*)() && noexcept >);
static_assert(!std::totally_ordered < int(S::*)() && noexcept >);
static_assert(!std::totally_ordered<int (S::*)() const>);
static_assert(!std::totally_ordered<int (S::*)() const noexcept>);
static_assert(!std::totally_ordered<int (S::*)() const&>);
static_assert(!std::totally_ordered<int (S::*)() const & noexcept>);
static_assert(!std::totally_ordered<int (S::*)() const&&>);
static_assert(!std::totally_ordered < int (S::*)() const&& noexcept >);
static_assert(!std::totally_ordered < int(S::*)() const&& noexcept >);
static_assert(!std::totally_ordered<int (S::*)() volatile>);
static_assert(!std::totally_ordered<int (S::*)() volatile noexcept>);
static_assert(!std::totally_ordered<int (S::*)() volatile&>);
static_assert(!std::totally_ordered<int (S::*)() volatile & noexcept>);
static_assert(!std::totally_ordered<int (S::*)() volatile&&>);
static_assert(!std::totally_ordered < int (S::*)() volatile&& noexcept >);
static_assert(!std::totally_ordered < int(S::*)() volatile && noexcept >);
static_assert(!std::totally_ordered<int (S::*)() const volatile>);
static_assert(!std::totally_ordered<int (S::*)() const volatile noexcept>);
static_assert(!std::totally_ordered<int (S::*)() const volatile&>);
static_assert(!std::totally_ordered<int (S::*)() const volatile & noexcept>);
static_assert(!std::totally_ordered<int (S::*)() const volatile&&>);
static_assert(!std::totally_ordered < int (S::*)() const volatile&& noexcept >);
static_assert(!std::totally_ordered < int(S::*)() const volatile&& noexcept >);

static_assert(!std::totally_ordered<void>);
} // namespace fundamentals
Expand Down Expand Up @@ -146,14 +146,10 @@ static_assert(!std::totally_ordered<wrong_return_type>);

static_assert(!std::totally_ordered<cxx20_member_eq_operator_with_deleted_ne>);
static_assert(!std::totally_ordered<cxx20_friend_eq_operator_with_deleted_ne>);
static_assert(
!std::totally_ordered<member_three_way_comparable_with_deleted_eq>);
static_assert(
!std::totally_ordered<member_three_way_comparable_with_deleted_ne>);
static_assert(
!std::totally_ordered<friend_three_way_comparable_with_deleted_eq>);
static_assert(
!std::totally_ordered<friend_three_way_comparable_with_deleted_ne>);
static_assert(!std::totally_ordered<member_three_way_comparable_with_deleted_eq>);
static_assert(!std::totally_ordered<member_three_way_comparable_with_deleted_ne>);
static_assert(!std::totally_ordered<friend_three_way_comparable_with_deleted_eq>);
static_assert(!std::totally_ordered<friend_three_way_comparable_with_deleted_ne>);

static_assert(!std::totally_ordered<eq_returns_explicit_bool>);
static_assert(!std::totally_ordered<ne_returns_explicit_bool>);
Expand All @@ -168,5 +164,3 @@ static_assert(std::totally_ordered<partial_ordering_totally_ordered_with>);
static_assert(std::totally_ordered<weak_ordering_totally_ordered_with>);
static_assert(std::totally_ordered<strong_ordering_totally_ordered_with>);
} // namespace types_fit_for_purpose

int main(int, char**) { return 0; }
681 changes: 681 additions & 0 deletions ...d/concepts/concepts.compare/concepts.totallyordered/totally_ordered_with.compile.pass.cpp
View file
Open in desktop

Large diffs are not rendered by default.

1,138 changes: 0 additions & 1,138 deletions .../test/std/concepts/concepts.compare/concepts.totallyordered/totally_ordered_with.pass.cpp
View file
Open in desktop

This file was deleted.

4 changes: 1 addition & 3 deletions ...ncepts.arithmetic/floating_point.pass.cpp → ...rithmetic/floating_point.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ constexpr bool CheckFloatingPointQualifiers() {

static_assert(!std::floating_point<T (*)()>);
static_assert(!std::floating_point<T (&)()>);
static_assert(!std::floating_point<T(&&)()>);
static_assert(!std::floating_point<T (&&)()>);

return result;
}
Expand Down Expand Up @@ -74,5 +74,3 @@ static_assert(!CheckFloatingPointQualifiers<ScopedEnum>());
static_assert(!CheckFloatingPointQualifiers<EmptyStruct>());
static_assert(!CheckFloatingPointQualifiers<int EmptyStruct::*>());
static_assert(!CheckFloatingPointQualifiers<int (EmptyStruct::*)()>());

int main(int, char**) { return 0; }
4 changes: 1 addition & 3 deletions ...ang/concepts.arithmetic/integral.pass.cpp → ...epts.arithmetic/integral.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ constexpr bool CheckIntegralQualifiers() {

static_assert(!std::integral<T (*)()>);
static_assert(!std::integral<T (&)()>);
static_assert(!std::integral<T(&&)()>);
static_assert(!std::integral<T (&&)()>);

return result;
}
Expand Down Expand Up @@ -88,5 +88,3 @@ static_assert(!CheckIntegralQualifiers<int (EmptyStruct::*)()>());

static_assert(CheckSubsumption(0));
static_assert(CheckSubsumption(0U));

int main(int, char**) { return 0; }
16 changes: 5 additions & 11 deletions ...cepts.arithmetic/signed_integral.pass.cpp → ...ithmetic/signed_integral.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ constexpr bool CheckSignedIntegralQualifiers() {

static_assert(!std::signed_integral<T (*)()>);
static_assert(!std::signed_integral<T (&)()>);
static_assert(!std::signed_integral<T(&&)()>);
static_assert(!std::signed_integral<T (&&)()>);

return result;
}
Expand All @@ -54,16 +54,12 @@ static_assert(CheckSignedIntegralQualifiers<long>());
static_assert(CheckSignedIntegralQualifiers<long long>());

// bool and character *may* be signed
static_assert(CheckSignedIntegralQualifiers<wchar_t>() ==
std::is_signed_v<wchar_t>);
static_assert(CheckSignedIntegralQualifiers<wchar_t>() == std::is_signed_v<wchar_t>);
static_assert(CheckSignedIntegralQualifiers<bool>() == std::is_signed_v<bool>);
static_assert(CheckSignedIntegralQualifiers<char>() == std::is_signed_v<char>);
static_assert(CheckSignedIntegralQualifiers<char8_t>() ==
std::is_signed_v<char8_t>);
static_assert(CheckSignedIntegralQualifiers<char16_t>() ==
std::is_signed_v<char16_t>);
static_assert(CheckSignedIntegralQualifiers<char32_t>() ==
std::is_signed_v<char32_t>);
static_assert(CheckSignedIntegralQualifiers<char8_t>() == std::is_signed_v<char8_t>);
static_assert(CheckSignedIntegralQualifiers<char16_t>() == std::is_signed_v<char16_t>);
static_assert(CheckSignedIntegralQualifiers<char32_t>() == std::is_signed_v<char32_t>);

// integers that aren't signed integrals
static_assert(!CheckSignedIntegralQualifiers<unsigned char>());
Expand Down Expand Up @@ -92,5 +88,3 @@ static_assert(!CheckSignedIntegralQualifiers<int (EmptyStruct::*)()>());

static_assert(CheckSubsumption(0));
static_assert(CheckSubsumption(0U));

int main(int, char**) { return 0; }
22 changes: 7 additions & 15 deletions ...pts.arithmetic/unsigned_integral.pass.cpp → ...hmetic/unsigned_integral.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ constexpr bool CheckUnsignedIntegralQualifiers() {

static_assert(!std::unsigned_integral<T (*)()>);
static_assert(!std::unsigned_integral<T (&)()>);
static_assert(!std::unsigned_integral<T(&&)()>);
static_assert(!std::unsigned_integral<T (&&)()>);

return result;
}
Expand All @@ -54,18 +54,12 @@ static_assert(CheckUnsignedIntegralQualifiers<unsigned long>());
static_assert(CheckUnsignedIntegralQualifiers<unsigned long long>());

// Whether bool and character types are signed or unsigned is impl-defined
static_assert(CheckUnsignedIntegralQualifiers<wchar_t>() ==
!std::is_signed_v<wchar_t>);
static_assert(CheckUnsignedIntegralQualifiers<bool>() ==
!std::is_signed_v<bool>);
static_assert(CheckUnsignedIntegralQualifiers<char>() ==
!std::is_signed_v<char>);
static_assert(CheckUnsignedIntegralQualifiers<char8_t>() ==
!std::is_signed_v<char8_t>);
static_assert(CheckUnsignedIntegralQualifiers<char16_t>() ==
!std::is_signed_v<char16_t>);
static_assert(CheckUnsignedIntegralQualifiers<char32_t>() ==
!std::is_signed_v<char32_t>);
static_assert(CheckUnsignedIntegralQualifiers<wchar_t>() == !std::is_signed_v<wchar_t>);
static_assert(CheckUnsignedIntegralQualifiers<bool>() == !std::is_signed_v<bool>);
static_assert(CheckUnsignedIntegralQualifiers<char>() == !std::is_signed_v<char>);
static_assert(CheckUnsignedIntegralQualifiers<char8_t>() == !std::is_signed_v<char8_t>);
static_assert(CheckUnsignedIntegralQualifiers<char16_t>() == !std::is_signed_v<char16_t>);
static_assert(CheckUnsignedIntegralQualifiers<char32_t>() == !std::is_signed_v<char32_t>);

// extended integers
#ifndef TEST_HAS_NO_INT128
Expand Down Expand Up @@ -93,5 +87,3 @@ static_assert(!CheckUnsignedIntegralQualifiers<int (EmptyStruct::*)()>());

static_assert(CheckSubsumption(0));
static_assert(CheckSubsumption(0U));

int main(int, char**) { return 0; }
6 changes: 2 additions & 4 deletions ...s/associative/map/gcc_workaround.pass.cpp → ...ative/map/gcc_workaround.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,9 @@
// Tests workaround for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37804

#include <map>
std::map<int,int>::iterator it;
std::map<int, int>::iterator it;
#include <set>

#include "test_macros.h"
using std::set;
using std::multiset;

int main(int, char**) { return 0; }
using std::set;
17 changes: 7 additions & 10 deletions ...e/map/map.cons/default_recursive.pass.cpp → ...p.cons/default_recursive.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,16 +16,13 @@

#include "test_macros.h"

struct X
{
std::map<int, X> m;
std::map<int, X>::iterator i;
std::map<int, X>::const_iterator ci;
struct X {
std::map<int, X> m;
std::map<int, X>::iterator i;
std::map<int, X>::const_iterator ci;
#if TEST_STD_VER <= 17
// These reverse_iterator specializations require X to be complete in C++20.
std::map<int, X>::reverse_iterator ri;
std::map<int, X>::const_reverse_iterator cri;
// These reverse_iterator specializations require X to be complete in C++20.
std::map<int, X>::reverse_iterator ri;
std::map<int, X>::const_reverse_iterator cri;
#endif // TEST_STD_VER <= 17
};

int main(int, char**) { return 0; }
17 changes: 7 additions & 10 deletions .../multimap.cons/default_recursive.pass.cpp → ...p.cons/default_recursive.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,16 +16,13 @@

#include "test_macros.h"

struct X
{
std::multimap<int, X> m;
std::multimap<int, X>::iterator i;
std::multimap<int, X>::const_iterator ci;
struct X {
std::multimap<int, X> m;
std::multimap<int, X>::iterator i;
std::multimap<int, X>::const_iterator ci;
#if TEST_STD_VER <= 17
// These reverse_iterator specializations require X to be complete in C++20.
std::multimap<int, X>::reverse_iterator ri;
std::multimap<int, X>::const_reverse_iterator cri;
// These reverse_iterator specializations require X to be complete in C++20.
std::multimap<int, X>::reverse_iterator ri;
std::multimap<int, X>::const_reverse_iterator cri;
#endif // TEST_STD_VER <= 17
};

int main(int, char**) { return 0; }
2 changes: 0 additions & 2 deletions ...s/associative/set/gcc_workaround.pass.cpp → ...ative/set/gcc_workaround.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,5 +15,3 @@ std::set<int> s;
#include "test_macros.h"
using std::map;
using std::multimap;

int main(int, char**) { return 0; }
6 changes: 2 additions & 4 deletions ...pes/readable.traits/iter_value_t.pass.cpp → ...able.traits/iter_value_t.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ static_assert(check_iter_value_t<std::vector<int>::iterator, int>());
static_assert(check_iter_value_t<std::shared_ptr<int>, int>());

struct both_members {
using value_type = double;
using value_type = double;
using element_type = double;
};
static_assert(check_iter_value_t<both_members, double>());
Expand All @@ -65,9 +65,7 @@ struct S {};
static_assert(check_no_iter_value_t<S>());

struct different_value_element_members {
using value_type = int;
using value_type = int;
using element_type = long;
};
static_assert(check_no_iter_value_t<different_value_element_members>());

int main(int, char**) { return 0; }
2 changes: 0 additions & 2 deletions ...t/std/numerics/numbers/user_type.pass.cpp → ...merics/numbers/user_type.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,5 +52,3 @@ user std::numbers::egamma_v<user>{};

template <>
user std::numbers::phi_v<user>{};

int main(int, char**) { return 0; }
2 changes: 0 additions & 2 deletions ...gs/strings.general/nothing_to_do.pass.cpp → ...ts.require/nothing_to_do.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,3 @@
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

int main(int, char**) { return 0; }
2 changes: 0 additions & 2 deletions ...har.traits.require/nothing_to_do.pass.cpp → ...s.typedefs/nothing_to_do.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,3 @@
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

int main(int, char**) { return 0; }
2 changes: 0 additions & 2 deletions .../string.view.synop/nothing_to_do.pass.cpp → ...view.synop/nothing_to_do.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,5 +7,3 @@
//===----------------------------------------------------------------------===//

#include <string_view>

int main(int, char**) { return 0; }
2 changes: 0 additions & 2 deletions ...ar.traits.typedefs/nothing_to_do.pass.cpp → ...gs.general/nothing_to_do.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,3 @@
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

int main(int, char**) { return 0; }
Loading