А если я хочу искать crc то то как тогда через условие делать свое "переполнение"
unsigned никак? Чуть более странный вариант: atomic relaxed или реализовать самому по аналогии гарантированный 2's complement
Не как, там алгоритм строится на переполнение
Делать свое "переполнение"?
А разве с двадцатого стандарта two's complement не гарантируется?
Для знаковых атомиков нет UB при переполнении
ТС как минимум не уточнил версию Стандарта... И все равно ж UB
Интересно. За счёт того, что они атомики, собственно, и компилятор не оптимизирует их в этом плане?
Да. Я просто был уверен, что видел такую информацию, а здесь вижу косвенно противоречивую, потому и уточнил)
Полагаю, чем-то подобным и руководствовались в Комитете
если после суммы результат меньше любого из слагаемых — значит было переполнение, такую проверку компилятор может свернуть в проверку флага переноса, можно даже умудрится и в переменную засунуть 0 или 1
Обсуждают сегодня