Почему std :: is_sorted () меняется между вызовами с кланг ⇐ C++

[Anonymous]

У меня есть какой -то код, который демонстрирует нечетное поведение, когда std :: is_sorted () называется дважды подряд; Результат меняется! Вызов FIST возвращает false , а второй вызов возвращает true . Это происходит со следующим < /p>

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

  Apple clang version 15.0.0 (clang-1500.3.9.4)

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

  Ubuntu clang version 15.0.7

• Ubuntu clang version 18.1.3 (1ubuntu1)

при компиляции с -O2 -Std = c ++ 20 . Я также тестировал с C ++ 11 и c ++ 17 . Приведенный ниже код использует алгоритм сортировки для сортировки std :: ray , затем убедитесь, что это std :: is_sorted () . Это на самом деле минимальное воспроизведение тестового примера в другой кодовой базе. Я считаю, что алгоритм правильный. Если я распечатаю содержимое массива перед вызовом std :: is_sorted () Содержание печатается в ожидаемом порядке, и оба вызова std :: is_sorted () вернуть true . Я не могу воспроизвести это на более низких уровнях оптимизации и GNU G ++ выполняется, как и ожидалось.
#include
#include
#include
#include

template
void insertion_sort(T begin, T end)
{
T current = begin;
++current;
while(current < end) {
auto key = *current;
auto j = current - 1;
while(j >= begin && *j > key) {
*(j+1) = *j;
--j;
}
*(j+1) = key;
current++;
}
}

int main(int argc, char* argv[])
{
std::array a{5, 2, 4, 6, 1, 3};
insertion_sort(a.begin(), a.end());
std::cout

Подробнее здесь: https://stackoverflow.com/questions/795 ... with-clang