@@ -227,15 +227,26 @@ namespace floating_comparison {
227
227
!__builtin_islessgreater(X, Y) && !__builtin_islessgreater(Y, X) && \
228
228
__builtin_isunordered (X, Y) && __builtin_isunordered(Y, X)
229
229
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()));
239
250
}
240
251
241
252
namespace fpclassify {
0 commit comments