DF
Да, формальная верификация )
Size: a a a
2021 February 15
DF
Долго дорого о_-+енно
DF
Ну расставьте сек_цст везде , постройте все возможные глобальные порядки
DF
Потом ослабляйте ордеринг
DF
Тем лучше )
DF
Rr replay -h?
DF
Хотя не знаю есть ли на винде такое
DF
RR с хаос модом
RI
Специализировано ли в clang++ поведение std::move над std::string? Я прогнал под 11-ым clang, строка, которая была мувнута, становится пустой строкой. Интересно, верно ли это всегда для clang (хотя бы в убунте).
RO
Есть ли способы облегчения жизни при отладке lockfree структур?
AS
Специализировано ли в clang++ поведение std::move над std::string? Я прогнал под 11-ым clang, строка, которая была мувнута, становится пустой строкой. Интересно, верно ли это всегда для clang (хотя бы в убунте).
8) Move constructor. Constructs the string with the contents of other using move semantics. other is left in valid, but unspecified state. см https://en.cppreference.com/w/cpp/string/basic_string/basic_string
RI
8) Move constructor. Constructs the string with the contents of other using move semantics. other is left in valid, but unspecified state. см https://en.cppreference.com/w/cpp/string/basic_string/basic_string
Это я читал, спасибо, меня больше интересует реализации в clang для последних версий убунты
RI
мы нашли баг с тем, что юзали строку после std::move, теперь хотим понять, всегда ли там была пустая строка
PK
мы нашли баг с тем, что юзали строку после std::move, теперь хотим понять, всегда ли там была пустая строка
не надо юзать строку, из которой уже мувнули содержимое, как будто она валидная
S
мы нашли баг с тем, что юзали строку после std::move, теперь хотим понять, всегда ли там была пустая строка
А чего вы ожидали-то?
ПК
мув строки вообще итераторы инвалидирует
ПК
мы нашли баг с тем, что юзали строку после std::move, теперь хотим понять, всегда ли там была пустая строка
Возможно если строка попадает в SSO, то будет просто копирование