FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

libstdc++: Make __cmp_cat::__unseq constructor consteval

Browse source 
This constructor should only ever be used with a literal 0 as the
argument, so we can make it consteval. This has the nice advantage that
it is expanded immediately in the front end, and so GDB will never step
into the __cmp_cat::__unseq::__unseq(__unseq*) constructor that is
uninteresting and probably confusing to users.

libstdc++-v3/ChangeLog:

	* libsupc++/compare (__cmp_cat::__unseq): Make ctor consteval.
	* testsuite/18_support/comparisons/categories/zero_neg.cc: Prune
	excess errors caused by invalid consteval calls.
This commit is contained in:
Jonathan Wakely 2023-08-17 18:27:15 +01:00
parent c992acdc67
commit 84cff28fd2
2 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libstdc++-v3/libsupc++/compare
View file

@ -53,7 +53,7 @@ namespace std _GLIBCXX_VISIBILITY(default)
struct __unspec
{
constexpr __unspec(__unspec*) noexcept { }
consteval __unspec(__unspec*) noexcept { }
};
}

8
libstdc++-v3/testsuite/18_support/comparisons/categories/zero_neg.cc
View file

@ -34,6 +34,11 @@ test01()
std::weak_ordering::equivalent == 1; // { dg-error "invalid conversion" }
std::strong_ordering::equivalent == 1; // { dg-error "invalid conversion" }
constexpr int z = 0;
std::partial_ordering::equivalent == z; // { dg-error "invalid conversion" }
std::weak_ordering::equivalent == z; // { dg-error "invalid conversion" }
std::strong_ordering::equivalent == z; // { dg-error "invalid conversion" }
constexpr void* p = nullptr;
std::partial_ordering::equivalent == p; // { dg-error "invalid conversion" }
std::weak_ordering::equivalent == p; // { dg-error "invalid conversion" }
@ -44,3 +49,6 @@ test01()
std::weak_ordering::equivalent == nullptr;
std::strong_ordering::equivalent == nullptr;
}
// { dg-prune-output "reinterpret_cast.* is not a constant expression" }
// { dg-prune-output "cast from 'void.' is not allowed" }