@@ -227,15 +227,26 @@ namespace floating_comparison {
227227 !__builtin_islessgreater(X, Y) && !__builtin_islessgreater(Y, X) && \
228228 __builtin_isunordered (X, Y) && __builtin_isunordered(Y, X)
229229
230- static_assert (
231- LESS (0.0 , 1.0 ) && EQUAL(1.0 , 1.0 ) && EQUAL(0.0 , -0.0 ) &&
232- UNORDERED(__builtin_nan(" " ), 1.0) && UNORDERED(__builtin_nan(" " ), __builtin_inf()) && LESS(0.0 , __builtin_inf()) &&
233- LESS(0 .0f , 1 .0f ) && EQUAL(1 .0f , 1 .0f ) && EQUAL(0 .0f , -0 .0f ) &&
234- UNORDERED(__builtin_nanf(" " ), 1.0f) && UNORDERED(__builtin_nanf(" " ), __builtin_inff()) && LESS(0 .0f , __builtin_inff()) &&
235- LESS(0 .0L , 1 .0L ) && EQUAL(1 .0L , 1 .0L ) && EQUAL(0 .0L , -0 .0L ) &&
236- UNORDERED(__builtin_nanl(" " ), 1.0L) && UNORDERED(__builtin_nanl(" " ), __builtin_infl()) && LESS(0 .0L , __builtin_infl()) &&
237- true, ""
238- );
230+ static_assert (LESS(0.0 , 1.0 ));
231+ static_assert (LESS(0.0 , __builtin_inf()));
232+ static_assert (LESS(0 .0f , 1 .0f ));
233+ static_assert (LESS(0 .0f , __builtin_inff()));
234+ static_assert (LESS(0 .0L , 1 .0L ));
235+ static_assert (LESS(0 .0L , __builtin_infl()));
236+
237+ static_assert (EQUAL(1.0 , 1.0 ));
238+ static_assert (EQUAL(0.0 , -0.0 ));
239+ static_assert (EQUAL(1 .0f , 1 .0f ));
240+ static_assert (EQUAL(0 .0f , -0 .0f ));
241+ static_assert (EQUAL(1 .0L , 1 .0L ));
242+ static_assert (EQUAL(0 .0L , -0 .0L ));
243+
244+ static_assert (UNORDERED(__builtin_nan(" " ), 1.0 ));
245+ static_assert (UNORDERED(__builtin_nan(" " ), __builtin_inf()));
246+ static_assert (UNORDERED(__builtin_nanf(" " ), 1 .0f ));
247+ static_assert (UNORDERED(__builtin_nanf(" " ), __builtin_inff()));
248+ static_assert (UNORDERED(__builtin_nanl(" " ), 1 .0L ));
249+ static_assert (UNORDERED(__builtin_nanl(" " ), __builtin_infl()));
239250}
240251
241252namespace fpclassify {
0 commit comments