>>> компилятор нельзя научить использовать регистр флагов для возврата булевских значений
>> Это банально не нужно и вообще контрпродуктивно, потому что add/sub в фреймировании
>> легко может убить этот самый регистр флагов. Опять же - упёрлись
>> в "оптимизацию" (кавычки не случайны), но забыли про то, что генерируемый
>> код чуть сложнее, чем кажется.
> Если бы я писал на ассемблере, то я бы легко мог бы
> сохранить CF в нужном мне состоянии. Компилятор, если бы он задался
> целью, тоже мог бы, но проблема в том, что нет такой
> кодовой фразы на C, которая бы перед ним поставила такую цель.

ВОт это брЕЕд...

Давай, чтобы не прослыть треплом - напишика код который флаг переполнения контролирует, особенно для беззнака. :)))))