Did you know?

[nickgavr]

Вы тоже раньше думали, что функция abs() возвращает всегда неотрицательные значения?

=============

#include
#include

main()
{
int a = (int)0x80000000;
int b1 = abs(a);
int b2 = abs(a+1);
printf("%d %d\n", b1, b2);
}

=============

$ gcc 1.c
$ ./a.exe
-2147483648 2147483647

=============

Comments

[capt_threepwood]

ага, а ещё при добавлении единицы к положительному числу модуль уменьшается )

[nickgavr]

Ну это если переполнение - известная штука. А вот с abs() лично для меня это было новостью :)

[mithraen]

Вот за что я ненавижу все эти макроассемблеры :)

[nickgavr]

к слову, изначально я наткнулся на эту фичу в VHDL применительно к Xilinx'ам :-)

[mithraen]

Вот вечно разработчикам транзисторов на надежность жалко обозвали бы это значение NaN, вместе с корректной обработкой (любые операции над NaN дают NaN), и проблем бы не было. И было бы все логично: 0x7fff + 1 = NaN.
abs(NaN) = NaN.

Только это сломало бы другие хаки, где переполнение используют осознанно.

[nickgavr]

Сам знаешь, тогда мейнстримом была не надежность, а оптимизация.
Проверил ради интереса в C#, выдает исключение System.OverflowException: "Инвертировать минимальное значение двоичного дополнения невозможно"