https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96526
Bug ID: 96526
Summary: New built-in needed to implement std::strong_order
total order on floating point types
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: redi at gcc dot gnu.org
Target Milestone: ---
https://wg21.link/cmp.alg#1.3 requires a total order for floating point types,
which includes ordering NaNs and infinities, and must be usable in constant
expressions.
The most robust way to do that is probably to make the compiler know how to do
it, possibly using mpfr_total_order_p from MPFR 4.1.0.