Спасибо за ответ, я уже так же нашел пару сносок на буржуйских форумах.

Почитал ради интереса библиотеки stm32cubef4.
Там есть замечательная функция void HAL_Delay(__IO uint32_t Delay) и куча мест где таймауты проверяются прямо в коде аналогичным образом.
Тех кто рискнёт пользоваться этим "программным продуктом" ждёт жестокий облом через 49 дней, 17часов, 2 минуты и 47 секунд.
Повбивав би ...

Моя версия таймера:

нафига стандарт то?
просто вычтите одно без знаковое из другого, и посмотрите что получилось в итоге если считать результат без знаковым.
Это гарантия не стандарта, а устройства числа...

Да! Только хардкор, только реверс-инжиниринг языка Си!
Мануалы придумал трус!

Причем тут это?
Покажите мне место в стандарте где написано что 2+4=6?
или место где написано 2+4=4+2

есть вещи которые описаны не стандартом а здравым смыслом и физикой природы...
так вот на пальцах

если у нас есть без знаковое от 0 до 15
2 - 12 = -10
а -10 имеет представление 0x6, что в без знаковом представлении просто 6, а теперь считаем сколько прошло с 12 до 2..
13 14 15 0 1 2 - вот и ответ... 6.
Так факт того что без знаковые не переполняются это свойства представления числа и принципов работы арифметики в компутере, а не стандарт языка...

Да, я полностью с вами согласен, но аргумент "здравый смысл" в моем случае не прокатил, да и не професcиональный аргумент, поэтому мне понадобилось хоть какое-то сноски.

Ага, "физика природы". А как насчёт порядка вычисления операндов в выражении? А если стандарт говорит, что этот порядок в данном случае не определён? А реверс-инжиниринг показал какой-то порядок? А завтра порядок изменился, потому что фаза Луны сменилась или что-то в этом духе? Может быть, лучше было мануал почитать?

Вам нравиться слово реверс инжиниринг?

Данный вопрос не имеет отношения к экспериментальному установлению истины, которую и я считаю весьма зыбкой в условиях проф разработки.

Если на данный вопрос и есть ответ то не в стандартах С, а в стандартах представления двоичного числа и реализации операции вычитания.

ответ добывается так
1. представление числа в 2-ичном виде. Берем 2 числа, и 4 битную арифметику, числа 2 и 12 представляются как 0010 и 1100 - надеюсь тут не будет ремарки про реверс инжиниринг? Документальное подтверждение что числа представляются так надо искать в разделах математики.
2. Реализация вычитания, как сложение с дополнительным кодом числа. Тут опять я надеюсь обойдемся без реверс инжиниринга, документальное подтверждение не знаю где, в каких то книгах по информатики
и того 2 - 12 == 2 + @12 так я обозначил доп код 12.
2 == 0010, @12 == @1100 == (~(1100) + 1) == 0011 + 1 == 0100
3. Сложение 2 ичных числе, документальное подтверждение в разделах математики, реверс инжиниринг не применяем

2 - 12 == 2 + @12 == 0010 + @1100 == 0010 + 0100 == 0110 = 6


Теперь у меня вопрос к реверс инжинеру, что я сделал не так?

В данном конкретном случае просто так получается, это здравый смысл физики нашей природы))) и никакого реверса...


Со знаковыми так не выходит, потому что в 4 битах у них только пол диапазона, то есть дойдя до 0111 до 7, они пойдут дальше до 1000, но в знаковом это -8. Надо понять главное это все представление чисел, это не их значения. Значения у них всегда одно оно не меняется, просто мы решили что 1000 - это -8 для знакового и 8 для без знакового, просто решили все операции происходят с двоичным исходником, всегда одинаково.

То есть важно понять что нет никакой магии или особо указания в том что мы вычитаем именно без знаковые, компилятор не делает ничего особенного увидев эту запись, он делает все те же операции что и обычно, просто результат представляет по другому. Получив в ходе вычитания 1000 для знакового результата он скажет что это -8, а для без знакового скажет что это +8 и все!