Может ли Clang -ffast -Math оптимизировать сравнение между Quiet_nan и Float? ⇐ C++

[Anonymous]

Я заметил, что следующая программа вообще оптимизирует никаких инструкций на недавних версиях Clang, с -ffast-math и -o1 и выше:

Код: Выделить всё

#include 
#include 

int main() {
static_assert(std::numeric_limits::has_quiet_NaN);
static_assert(!(std::numeric_limits::quiet_NaN() >= 0.1));
assert(std::numeric_limits::has_quiet_NaN);
return std::numeric_limits::quiet_NaN() >= 0.1;
}

возвращаемое значение, по -видимому, не определено (значение текущего реестра). Это ожидается? Ссылка на компилятор: https://godbolt.org/z/3my648dfe


Подробнее здесь: https://stackoverflow.com/questions/796 ... -and-float