блин, так смешно стало.... целой группой решали эту задачу.

Короче, overflow тоже может использоваться, потому что int a = -2147483648 реально будет содержать это значение, а при использовании знака "-", будет overflow. То что компилятор может это оптимизировать и подставить ноль там где -a, можно опустить в данном случае.